fritzo / pomagma

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

Support cyclic structures in pomagma.reducer.data #53

Open fritzo opened 7 years ago