Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Uninhabited data type
Since: 4.8.0.0
Since Void
values logically don't exist, this witnesses the
logical reasoning tool of "ex falso quodlibet".
Since: 4.8.0.0
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Uninhabited data type
Since: 4.8.0.0
Since Void
values logically don't exist, this witnesses the
logical reasoning tool of "ex falso quodlibet".
Since: 4.8.0.0