Agda-2.5.1.2: A dependently typed functional programming language and proof assistant
Agda.Compiler.Epic.Epic
Description
Pretty-print the AuxAST to valid Epic code.
Synopsis
prettyEpicFun :: MonadTCM m => Fun -> Compile m String Source #
Print a function to an Epic string
prettyEpic :: Expr -> String Source #
Print expression to Epic expression