A framework for natural language syntax and semantics based on type theory.
Primary LanguageHaskell
No issues in this repository yet.