Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Infered |
Documentation
A logically uninhabited data type.
Since Void values are logically uninhabited, this witnesses the logical reasoning tool of 'ex falso quodlibet'.