Index - $
| $$ | |
| 1 (Function) | Agda.Utils.Pretty |
| 2 (Function) | Agda.TypeChecking.Pretty |
| $+$ | |
| 1 (Function) | Agda.Utils.Pretty |
| 2 (Function) | Agda.TypeChecking.Pretty |
| $> | Agda.Utils.Functor |
Agda-2.5.2: A dependently typed functional programming language and proof assistant