Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Syntax.Literal
Documentation
data Literal Source
Constructors
LitInt Range Integer
LitLevel Range Integer
LitFloat Range Double
LitString Range String
LitChar Range Char
Produced by Haddock version 2.6.0