larrytheliquid/Lemmachine

REST'ful web framework in Agda

1 best points · 1 comments · 2 Hacker News posts · 135 GitHub stars · View on GitHub

Hacker News discussions

• Lemmachine: a web framework in Agda (1 points, 0 comments, by amock, 2010-09-02)
• Lemmachine - A web framework in Agda (1 points, 1 comments, by jefffoster, 2010-09-02)