Cayenne Source Code

[Andrew Martin]

Thanks! Pie looks like it will be equally instructional for my purposes.

On Thu, Jun 20, 2019 at 9:25 AM Oliver Charles <ollie at ocharles.org.uk>
wrote:

> It does not directly answer your question, but are you aware of Pie?
>
> https://github.com/david-christiansen/pie-hs
>
> On Thu, Jun 20, 2019 at 1:45 PM Andrew Martin <andrew.thaddeus at gmail.com>
> 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 haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>


-- 
-Andrew Thaddeus Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190620/a10cc5c1/attachment.html>