[Agda] Agda web framework

Jeremy Shaw jeremy at n-heptane.com
Mon May 3 17:30:04 CEST 2010


Awesome! Can't wait to port happstack :) Will have to rename it to  
Aappstack though :-/

- jeremy


On May 1, 2010, at 5:14 PM, Larrytheliquid wrote:

> http://github.com/larrytheliquid/Lemmachine
>
> -- 
> Respectfully,
> Larry Diehl
> www.larrytheliquid.com
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100503/4ba32974/attachment.html


More information about the Agda mailing list