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