[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