Parser for a large subset of the Twelf language.
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.