Agda-2.4.2.5: A dependently typed functional programming language and proof assistant

Safe Haskell	Safe
Language	Haskell98

Agda.Utils.Empty

Description

An empty type with some useful instances.

Documentation

data Empty Source

Instances

Eq Empty Source
Ord Empty Source
Show Empty Source

absurd :: Empty -> a Source