Cayenne Source Code

Andrew Martin andrew.thaddeus at gmail.com
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: <http://mail.haskell.org/pipermail/libraries/attachments/20190620/566bc959/attachment.html>


More information about the Libraries mailing list