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.3.20180526: A dependently typed functional programming language and proof assistant