modal types, generalized arrows, and core passes written in coq
batterseapower at hotmail.com
Tue Mar 8 09:25:24 CET 2011
On 8 March 2011 05:13, Adam Megacz <megacz at cs.berkeley.edu> wrote:
>> If you're itching to actually try compiling some programs, I suggest
>> waiting until Monday; there are still a bunch of quirks to be ironed out.
> As with any new language feature, the easiest way to understand it is to start with a program that exercises that feature and fiddle with it until the typechecker complains. To facilitate that, there's now a tutorial program linked off the project page:
Your tutorial is a 404 for me.
More information about the Cvs-ghc