Agda-2.2.6: 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
showString'
::
String
->
ShowS
Source
showChar'
::
Char
->
ShowS
Source
Produced by
Haddock
version 2.4.2