mmirman/caledon

higher order dependently typed logic programing

2 best points · 0 comments · 1 Hacker News post · 174 GitHub stars · View on GitHub

Hacker News discussions

• Caledon 2.0: A dependently typed metaprogramming logic language (2 points, 0 comments, by favabean5, 2013-03-07)