Compile-time type-checked truth tables

With simple and easy-to-understand examples in F# and Haskell.

Related Keywords

,Truth Table ,Eve Ragin ,Code That Fits ,False Notavailable ,True Notavailable ,