Add docs for module Uninhabited
commit7b05e29f1e52e63e1be6e81dabe2ff42fb2b5631
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSat 3 Jan 2015, 19:09 (12 years ago)
parent6b803b7
libs/prelude/Prelude/Uninhabited.idr+3
@@ -1,3 +1,6 @@
1+||| Utilities for working with uninhabited types, to record explicit
2+||| locations for canonical proofs of emptiness. Typically, one should
3+||| use the `absurd` function.
14module Prelude.Uninhabited
25
36import Builtins