Cayenne Source Code

Andrew Martin andrew.thaddeus at
Thu Jun 20 12:44:46 UTC 2019

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?

-Andrew Thaddeus Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list