Cayenne Source Code

[Andreas Reuleaux]

This is what I have been looking at at times:

 Resurrecting Lennart Augustsson's implementation of Cayenne 
 https://github.com/csgordon/cayenne


Hope this helps.

-A



Andrew Martin <andrew.thaddeus at gmail.com> writes:

> I just read through Lennart's paper on Cayenne, which was written in
> Haskell. It would be informative for me to look at the source code for a
> simple dependently typed language like this. (The paper claims the
> typechecker is only around 5000 LoC.) However, I cannot find the source
> code anywhere. Has it been devoured by the cruel jaws of the ephemeral web,
> or does someone out there still have a copy of it?