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

Safe HaskellSafe-Infered

Agda.Syntax.Concrete.Pretty

Description

Pretty printer for the concrete syntax.

Documentation

pHidden :: Pretty a => Hiding -> a -> Doc

pRelevance :: Pretty a => Relevance -> a -> Doc