Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
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