search

fritzo / pomagma

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

Make intervals::Approximator's use of DenseSetStore thread-safe #40

Closed fritzo closed 9 years ago