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