/helf

Haskell implementation of the Edinburgh Logical Framework

Primary LanguageHaskellMIT LicenseMIT

Stargazers