9 Dec
2013
9 Dec
'13
8:26 a.m.
On Mon, 9 Dec 2013, Gabor Greif wrote:
So my question is, is there anything I can do in the meantime, in preparation for the review? The code is available at
Does your implementation cover only H98 ADTs or do you support existentials/GADTs too?
Yes, it has full support for GHC's type system extensions. -- .--= ULLA! =-----------------. \ http://gergo.erdi.hu \ `---= gergo@erdi.hu =-------' If I drive fast enough at the red light, it'll appear green.