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

Index - _

_bindHoleNameAgda.Syntax.Notation
_getSortAgda.Syntax.Internal
_secTelescopeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
_sigDefinitionsAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
_sigRewriteRulesAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
_sigSectionsAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
_terSizeDepthAgda.Termination.Monad