search

fritzo / pomagma

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

Migrate zmq2 -> zmq4 #46

Closed fritzo closed 8 years ago