andreasabel / helf

Haskell implementation of the Edinburgh Logical Framework
26Updated last month

Related projects

Alternatives and complementary repositories for helf