search

fritzo / pomagma

An inference engine for extensional untyped λ-calculus
Other
17 stars 2 forks source link

Replace reducer.engines.engine with reducer.bohm #51

Closed fritzo closed 7 years ago