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