issues
search
fritzo
/
pomagma
An inference engine for extensional untyped λ-calculus
Other
17
stars
2
forks
source link
Add inference rules for UNIT and UNIT-A inhabitation
#2
Closed
fritzo
closed
11 years ago