Re: modal types, generalized arrows, and core passes written in coq

This sounds very awesome. I hope to try it out once you iron out the quirks.


Edward

_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to