Cayenne Source Code

Oliver Charles ollie at
Thu Jun 20 13:25:17 UTC 2019

It does not directly answer your question, but are you aware of Pie?

On Thu, Jun 20, 2019 at 1:45 PM Andrew Martin <andrew.thaddeus at> wrote:
> 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
> _______________________________________________
> Libraries mailing list
> Libraries at

More information about the Libraries mailing list