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

[Max Bolingbroke]

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.

Max