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

Safe HaskellNone
LanguageHaskell98

Agda.Compiler.Epic.Epic

Description

Pretty-print the AuxAST to valid Epic code.

Synopsis

Documentation

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

Print a function to an Epic string

prettyEpic :: Expr -> String Source

Print expression to Epic expression