prove that bool is a set
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 2 Dec 2015 19:33:06 +0000 (14:33 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 2 Dec 2015 19:33:06 +0000 (14:33 -0500)
commita440b67f1413c2e2c4a69db80377c2c3f1bb0d39
treebb94f234f7c050b63d948fe65b889952ceed2756
parentf290a733608e042768d93da587bd664d0e7b1830
prove that bool is a set
examples/bool.ctt