andreasabel / helf

Haskell implementation of the Edinburgh Logical Framework

Home Page:http://www2.tcs.ifi.lmu.de/~abel/projects.html#helf

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

andreasabel/helf Stargazers