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

Index - J

jMetaIdAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
jMetaTypeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
JSAgda.Interaction.InteractionTop
JSCodeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
jsFileNameAgda.Compiler.JS.Compiler
jsMemberAgda.Compiler.JS.Compiler
jsModAgda.Compiler.JS.Compiler
JudgementAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
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