jMetaId | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
jMetaType | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
JS | Agda.Interaction.GhciTop |
JSCode | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
jsFileName | Agda.Compiler.JS.Compiler |
jsMember | Agda.Compiler.JS.Compiler |
jsMod | Agda.Compiler.JS.Compiler |
Judgement | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
judgementInteractionId | Agda.TypeChecking.Monad.MetaVars, Agda.TypeChecking.Monad |
judgToOutputForm | Agda.Interaction.BasicOps |
Just | Agda.Utils.Maybe |
JustSort | Agda.Interaction.BasicOps |
JustType | Agda.Interaction.BasicOps |