Index - $
| $!! | Agda.Syntax.Strict |
| $$ | |
| 1 (Function) | Agda.Utils.Pretty |
| 2 (Function) | Agda.TypeChecking.Pretty |
| $$$ | Agda.Syntax.Concrete.Operators.Parser |
| $+$ | Agda.Utils.Pretty |
Agda-2.2.8: A dependently typed functional programming language and proof assistant