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

Safe HaskellNone
LanguageHaskell98

Agda.Syntax.Concrete.Pretty

Description

Pretty printer for the concrete syntax.

Documentation

pHidden :: Pretty a => ArgInfo -> a -> Doc Source

newtype Tel Source

Constructors

Tel Telescope 

Instances

prettyOpApp :: Pretty a => QName -> [a] -> [Doc] Source