andreasabel / helf

Haskell implementation of the Edinburgh Logical Framework
26Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for helf