search

fritzo / pomagma

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

Deterministic #22

Open fritzo opened 9 years ago

fritzo commented 9 years ago

Make Pomagma's use of pseudorandom generators reproducible.