Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Syntax.Concrete.Pretty
Description
Pretty printer for the concrete syntax.
Documentation
pHidden
::
Pretty
a =>
Hiding
-> a ->
Doc
Source
pRelevance
::
Pretty
a =>
Relevance
-> a ->
Doc
Source
showString'
::
String
->
ShowS
Source
showChar'
::
Char
->
ShowS
Source
smashTel
::
Telescope
->
Telescope
Source
Produced by
Haddock
version 2.6.1