Agda.Compiler.Epic.Epic

Pretty-print the AuxAST to valid Epic code.

Documentation

prettyEpicFun :: MonadTCM m => Fun -> Compile m String

Print a function to an Epic string

prettyEpic :: Expr -> String

Print expression to Epic expression