git.iko.soy/Idris-dev
on master help sign in
Add docs for module Uninhabited
7b05e29David Raymond Christiansen
libs/prelude/Prelude/Uninhabited.idr+3
compare with master
unifiedsplit
@@ -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.
1module Prelude.Uninhabited
4module Prelude.Uninhabited
2
5
3import Builtins
6import Builtins