jamesdabbs / pi-base.hs

A Haskell-powered modernization of Counterexamples in Topology
MIT License
39 stars 5 forks source link

Autocreating boolean ValueSet now #42

Closed konradvoelkel closed 9 years ago

konradvoelkel commented 9 years ago

In boolean handler: adding boolean ValueSet and TValues True and False if nonexistent.

Fixes #40

jamesdabbs commented 9 years ago

Cool, thanks for the contribution. Just a couple notes:

This looks entirely functional though, so I'm going to go ahead and merge, but feel free to make tweaks and open another if you're so inclined.