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

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