d03630f9f6
a given term should not exist. ok matthew, sthen.
3 lines
99 B
Plaintext
3 lines
99 B
Plaintext
A Haskell 98 logically uninhabited data type. Used to indicate that
|
|
a given term should not exist.
|