 | Agda-2.2.10: A dependently typed functional programming language and proof assistant | Source code | Contents | Index |
| Agda.Compiler.Epic.Compiler |
| compilerMain :: Interface -> TCM () |
| compilerMain :: Interface -> TCM () | Source |
| |||||
| |||||
| Description | |||||
| Epic compiler backend. | |||||
| Synopsis | |||||
| |||||
| Documentation | |||||
| |||||
| Compile an interface into an Epic/a.out program /actually this is not true, we compile everything so we don't even look at the Interface. This may change in the future. | |||||
| Produced by Haddock version 2.6.1 |