search

fritzo / pomagma

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

Make WorkerPool test stronger #35

Closed fritzo closed 8 years ago

fritzo commented 8 years ago

c072330 tries to add an assertion, but it currently fails.

fritzo commented 8 years ago

Fixed in 8178889