Data.Void

Definitions

absurdity : Uninhabited t => (0 _ : t) -> s

Visibility: export

contradiction : Uninhabited t => (0 _ : (x -> t)) -> x -> s

Visibility: export