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