Agda-2.3.0.1: A dependently typed functional programming language and proof assistant

Index - $

$!!Agda.Syntax.Strict
$$ 
1 (Function)Agda.Utils.Pretty
2 (Function)Agda.TypeChecking.Pretty
$$$Agda.Syntax.Concrete.Operators.Parser
$+$Agda.Utils.Pretty