issues
search
fritzo
/
pomagma
An inference engine for extensional untyped λ-calculus
Other
17
stars
2
forks
source link
Propagate
#37
Closed
fritzo
closed
9 years ago