fritzo / pomagma

An inference engine for extensional untyped λ-calculus
17Updated last year

Related projects: