Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Compiler.Epic.Epic
Description
Pretty-print the AuxAST to valid Epic code.
Synopsis
prettyEpicFun
::
Fun
->
String
Documentation
prettyEpicFun
::
Fun
->
String
Source
Print a function to an Epic string
Produced by
Haddock
version 2.6.1