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

Index - J

JudgementAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
judgementInteractionIdAgda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad
judgToOutputFormAgda.Interaction.BasicOps
JustAgda.Utils.Maybe
JustSortAgda.Interaction.BasicOps
JustTypeAgda.Interaction.BasicOps