| Mon, 13 Apr 2015 15:27:34 +0200 | kuncar | go back to the complicated code equation registration (because of type classes) that was lost in 922586b1bc87; make it even more hackish to get which code equation was used | file | diff | annotate |
| Fri, 05 Dec 2014 14:14:36 +0100 | kuncar | Workaround that allows us to execute lifted constants that have as a return type a datatype containing a subtype | file | diff | annotate |