|
Agda.Syntax.Translation.InternalToAbstract |
|
|
Description |
Translating from internal syntax to abstract syntax. Enables nice
pretty printing of internal syntax.
TODO
- numbers on metas
- fake dependent functions to independent functions
- meta parameters
- shadowing
|
|
|
Documentation |
|
|
|
|
|
|
|
class Reify i a | i -> a where | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |