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

Index - J

jMetaIdAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
jMetaTypeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
joinHeadMapsAgda.TypeChecking.Injectivity
jsBackendAgda.Compiler.JS.Compiler
jsBackend'Agda.Compiler.JS.Compiler
jsBackendNameAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
jsCommandLineFlagsAgda.Compiler.JS.Compiler
jsCompileDefAgda.Compiler.JS.Compiler
jsFileNameAgda.Compiler.JS.Compiler
jsMemberAgda.Compiler.JS.Compiler
jsModAgda.Compiler.JS.Compiler
JSModuleEnvAgda.Compiler.JS.Compiler
jsonifyHighlightingInfoAgda.Interaction.Highlighting.JSON
jsonREPLAgda.Interaction.JSONTop
JSOptions 
1 (Type/Class)Agda.Compiler.JS.Compiler
2 (Data Constructor)Agda.Compiler.JS.Compiler
jsPostCompileAgda.Compiler.JS.Compiler
jsPostModuleAgda.Compiler.JS.Compiler
jsPreCompileAgda.Compiler.JS.Compiler
jsPreModuleAgda.Compiler.JS.Compiler
JudgementAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
Just 
1 (Data Constructor)Agda.Utils.Maybe
2 (Data Constructor)Agda.Utils.Maybe.Strict
JustNegAgda.TypeChecking.Positivity.Occurrence
JustPosAgda.TypeChecking.Positivity.Occurrence
JustSortAgda.Interaction.BasicOps
JustTypeAgda.Interaction.BasicOps