/pomagma

An inference engine for extensional untyped λ-calculus

Primary LanguageC++OtherNOASSERTION

Issues