ai.acyclic.prover.commons.viz.TypeVizSpec ‑ String
shapesafe.core.logic.ProofSystemSpec ‑ coercive upcasting of proof ... with diamond type hierarchy
shapesafe.core.shape.SingletonConstraintSpike ‑ 1
shapesafe.core.shape.SingletonConstraintSpike ‑ 2
shapesafe.core.shape.SingletonConstraintSpike ‑ 3
shapesafe.core.shape.SingletonConstraintSpike ‑ 4
shapesafe.core.shape.SingletonProductArgsSpike ‑ a
shapesafe.core.shape.StaticShapeSpike ‑ records example 1
shapesafe.core.shape.StaticShapeSpike ‑ records example 2
shapesafe.core.shape.StaticShapeSpike ‑ records example 3
shapesafe.core.shape.StaticShapeSpike ‑ records example 4
shapesafe.core.shape.StaticShapeSpike ‑ records example 5
shapesafe.core.shape.StaticShapeSpike ‑ records zip

ai.acyclic.prover.commons.HasInnerSpec ‑ ... NOT if the path is lost
ai.acyclic.prover.commons.HasInnerSpec ‑ can summon again if outer path is available
ai.acyclic.prover.commons.HasInnerSpec ‑ can summon from path-dependent companion object
ai.acyclic.prover.commons.SameSpec ‑ ByConstruction$
ai.acyclic.prover.commons.SameSpec ‑ ByEquality$
ai.acyclic.prover.commons.SameSpec ‑ ByProduct$
ai.acyclic.prover.commons.SameSpec ‑ ByProductWithTolerance
ai.acyclic.prover.commons.debug.print_At_Spec ‑ can identify line number
ai.acyclic.prover.commons.graph.local.ops.AnyGraphBinarySpec ‑ Union of graph
ai.acyclic.prover.commons.graph.local.ops.AnyGraphBinarySpec ‑ Union of semilattice
ai.acyclic.prover.commons.graph.local.ops.AnyGraphUnarySpec ‑ Transform DepthFirst
ai.acyclic.prover.commons.graph.local.ops.AnyGraphUnarySpec ‑ Transform DepthFirst_Cached
ai.acyclic.prover.commons.graph.local.ops.AnyGraphUnarySpec ‑ Transform DepthFirst_Once
ai.acyclic.prover.commons.graph.local.ops.AnyGraphUnarySpec ‑ Traverse DepthFirst
ai.acyclic.prover.commons.graph.local.ops.AnyGraphUnarySpec ‑ Traverse DepthFirst_Once
ai.acyclic.prover.commons.graph.local.ops.AnyGraphUnarySpec ‑ Upcast
ai.acyclic.prover.commons.graph.viz.FlowSpec ‑ string cyclic graph
ai.acyclic.prover.commons.graph.viz.FlowSpec ‑ string diamond graph
ai.acyclic.prover.commons.graph.viz.HierarchySpec ‑ Indent2 treeString finite tree each node has 1 line of text
ai.acyclic.prover.commons.graph.viz.HierarchySpec ‑ Indent2 treeString finite tree each node has multiple lines of text
ai.acyclic.prover.commons.graph.viz.HierarchySpec ‑ Indent2 treeString infinite tree
ai.acyclic.prover.commons.graph.viz.HierarchySpec ‑ Indent2Minimal treeString ... or not
ai.acyclic.prover.commons.graph.viz.HierarchySpec ‑ Indent2Minimal treeString supports nodes each with 1 line str
ai.acyclic.prover.commons.graph.viz.LinkedHierarchySpec ‑ Indent2 treeString ... with multiple lines
ai.acyclic.prover.commons.graph.viz.LinkedHierarchySpec ‑ Indent2 treeString cyclic graph
ai.acyclic.prover.commons.graph.viz.LinkedHierarchySpec ‑ Indent2 treeString diamond semilattice
ai.acyclic.prover.commons.meta2.RuntimeTagRelaySpec ‑ alias
ai.acyclic.prover.commons.meta2.RuntimeTagRelaySpec ‑ dependent
ai.acyclic.prover.commons.meta2.RuntimeTagRelaySpec ‑ generic
ai.acyclic.prover.commons.meta2.TypeViewMixinSpec ‑ getOnlyInstance on constant
ai.acyclic.prover.commons.meta2.TypeViewMixinSpec ‑ getOnlyInstance on local value
ai.acyclic.prover.commons.meta2.TypeViewMixinSpec ‑ getOnlyInstance on object
ai.acyclic.prover.commons.meta2.TypeViewMixinSpec ‑ getOnlyInstance on unique value
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ SingletonName 1
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ SingletonName 2
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ SingletonName 3
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ SingletonName 4
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ SingletonName fallback
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ fallback 1
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ fallback 2
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ ~~ 1
ai.acyclic.prover.commons.meta2.format.FormatOvrdSpec ‑ ~~ 2
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with DeAlias Infix
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with DeAlias Inner Type
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with DeAlias Parametric
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with EnableOvrd ... mixed 1
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with EnableOvrd ... mixed 2
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with EnableOvrd ... mixed 3
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with EnableOvrd ... with fallback
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with EnableOvrd Infix
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with EnableOvrd Parametric
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively ... with Trials Parametric
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively On HidePackage Infix
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively On HidePackage Parametric
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively On HideStatic Infix
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively On HideStatic Inner Type
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively On HideStatic Parametric
ai.acyclic.prover.commons.meta2.format.Formats1Spec ‑ Transform text recursively On HideStatic directly under package
ai.acyclic.prover.commons.meta2.format.TypeFormatSpec ‑ ~
ai.acyclic.prover.commons.typesetting.TextBlockSpec ‑ Trim block
ai.acyclic.prover.commons.typesetting.TextBlockSpec ‑ Trim horizontally
ai.acyclic.prover.commons.typesetting.TextBlockSpec ‑ Trim vertically
ai.acyclic.prover.commons.unused.SingletonSummonerSpec ‑ with
ai.acyclic.prover.commons.unused.SingletonSummonerSpec ‑ without
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ HList
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ Singleton ... with Arg
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ Singleton global
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ Singleton global Witness.T
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ Singleton local
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ Singleton local Witness.T
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ String
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ Witness global
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ Witness local
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ path-dependent with final type
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ path-dependent with final type in path
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ path-dependent with lower bound
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ path-dependent with upper bound
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ record
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ refined
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ this
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ trait with generic
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ trait with self-referencing arg
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ type alias generic DeAlias
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ type alias generic Default
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ type alias generic Short
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ type alias generic of generic DeAlias
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ type alias generic of generic Default
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ type alias generic of generic Short
ai.acyclic.prover.commons.viz.TypeVizSpec ‑ type alias global
shapesafe.core.ConstSpec ‑ can summon True
shapesafe.core.arity.LeafAritySpec ‑ big FromLiteral
shapesafe.core.arity.LeafAritySpec ‑ big FromOp
shapesafe.core.arity.LeafAritySpec ‑ eval
shapesafe.core.arity.LeafAritySpec ‑ has PeerType 2
shapesafe.core.arity.LeafAritySpec ‑ peek & interrupt
shapesafe.core.arity.LeafAritySpec ‑ toString
shapesafe.core.arity.LeafAritySpec ‑ verify
shapesafe.core.arity.ProveAritySpec ‑ can report Conjecture2
shapesafe.core.arity.ProveAritySpec ‑ can report Derived
shapesafe.core.arity.ProveAritySpec ‑ can report Literal
shapesafe.core.arity.ProveAritySpec ‑ can report Unchecked
shapesafe.core.arity.ProveAritySpec ‑ can report Unprovable
shapesafe.core.arity.UnprovableSpec ‑ Op2 with Unprovable should fail
shapesafe.core.arity.UnprovableSpec ‑ Require with Unprovable should fail
shapesafe.core.arity.binary.Op2Spec ‑ CANNOT prove <Operand Without Proof> + a
shapesafe.core.arity.binary.Op2Spec ‑ CANNOT prove <Operand Without Proof> + a + b
shapesafe.core.arity.binary.Op2Spec ‑ can prove (a + b - c) / d
shapesafe.core.arity.binary.Op2Spec ‑ can prove ... NOT if b == 0
shapesafe.core.arity.binary.Op2Spec ‑ can prove ... in 1 line
shapesafe.core.arity.binary.Op2Spec ‑ can prove a + b
shapesafe.core.arity.binary.Op2Spec ‑ can prove a + b + c
shapesafe.core.arity.binary.Op2Spec ‑ can prove a + b + c + d
shapesafe.core.arity.binary.Op2Spec ‑ can prove arity trivially
shapesafe.core.arity.binary.Op2Spec ‑ can prove b / a
shapesafe.core.arity.binary.Op2Spec ‑ peek & interrupt 1
shapesafe.core.arity.binary.Op2Spec ‑ peek & interrupt 2
shapesafe.core.arity.binary.Require2Spec ‑ CANNOT prove Unprovable == ? 1
shapesafe.core.arity.binary.Require2Spec ‑ CANNOT prove Unprovable == ? 2
shapesafe.core.arity.binary.Require2Spec ‑ CANNOT prove a == b if not 1
shapesafe.core.arity.binary.Require2Spec ‑ CANNOT prove a == b if not 2
shapesafe.core.arity.binary.Require2Spec ‑ can prove Arity.Const == a
shapesafe.core.arity.binary.Require2Spec ‑ can prove Arity.Const == a + b
shapesafe.core.arity.binary.Require2Spec ‑ can prove Arity.Const == a + b + c
shapesafe.core.arity.binary.Require2Spec ‑ can prove Arity.Unchecked == a
shapesafe.core.arity.binary.Require2Spec ‑ can prove Arity.Unchecked == a + b
shapesafe.core.arity.binary.Require2Spec ‑ can prove Op2 == a + b + c
shapesafe.core.arity.nullary.SizeOfSpec ‑ observing HList big
shapesafe.core.arity.nullary.SizeOfSpec ‑ observing HList small
shapesafe.core.axis.AxisSpec ‑ correct type
shapesafe.core.axis.NewNameAppenderSpec ‑ can append HNil
shapesafe.core.axis.NewNameAppenderSpec ‑ can append new name to a Record 1
shapesafe.core.axis.NewNameAppenderSpec ‑ can append new name to a Record 2
shapesafe.core.axis.OldNameUpdatersSpec ‑ Appender can append old name to a Record that contains identical pair 1
shapesafe.core.axis.OldNameUpdatersSpec ‑ Appender can append old name to a Record that contains identical pair 2
shapesafe.core.axis.OldNameUpdatersSpec ‑ Appender cannot append if old name to a Record that contains identical key but different value 1
shapesafe.core.axis.OldNameUpdatersSpec ‑ Appender cannot append if old name to a Record that contains identical key but different value 2
shapesafe.core.axis.OldNameUpdatersSpec ‑ Appender cannot append if old name to a Record that contains identical key but different value 3
shapesafe.core.axis.OldNameUpdatersSpec ‑ Reducer can squash old name to a Record that contains identical pair 1
shapesafe.core.axis.OldNameUpdatersSpec ‑ Reducer can squash old name to a Record that contains identical pair 2
shapesafe.core.debugging.RequireMsgSpike ‑ interpolation of Msg 1
shapesafe.core.debugging.RequireMsgSpike ‑ interpolation of Msg 2
shapesafe.core.debugging.RequireMsgSpike ‑ interpolation of Msg 3
shapesafe.core.debugging.RequireMsgSpike ‑ interpolation of Msg 4
shapesafe.core.logic.NaturalDeductionSpec ‑ should not cause diverging implicit
shapesafe.core.logic.ProofSystemSpec ‑ Tactic can cite once
shapesafe.core.logic.ProofSystemSpec ‑ can prove recursively
shapesafe.core.logic.ProofSystemSpec ‑ can prove using bidirectional lemma
shapesafe.core.logic.ProofSystemSpec ‑ can refute or ridicule
shapesafe.core.logic.ProofSystemSpec ‑ coercive upcasting of proof ... with diamond type hierarchy
shapesafe.core.logic.ProofSystemSpec ‑ coercive upcasting of proof in a sub-sub-theory
shapesafe.core.logic.ProofSystemSpec ‑ coercive upcasting of proof in a sub-thoery
shapesafe.core.logic.binary.RingAxiomsSpec ‑ (A + B)^2 =>> AA + 2AB + BB
shapesafe.core.logic.binary.RingAxiomsSpec ‑ ... and vice versa
shapesafe.core.logic.binary.RingAxiomsSpec ‑ A + B + C =>> C + B + A
shapesafe.core.logic.binary.RingAxiomsSpec ‑ A + B =>> B + A
shapesafe.core.shape.IndexSpec ‑ LtoR peek
shapesafe.core.shape.IndexSpec ‑ Name peek
shapesafe.core.shape.NamesSpec ‑ FromLiterals
shapesafe.core.shape.NamesSpec ‑ as Indices
shapesafe.core.shape.NamesSpec ‑ cons
shapesafe.core.shape.NamesSpec ‑ construct 1
shapesafe.core.shape.NamesSpec ‑ construct 2
shapesafe.core.shape.NamesSpec ‑ construct 3
shapesafe.core.shape.ProveShapeSpec ‑ can report Conjecture1
shapesafe.core.shape.ProveShapeSpec ‑ can report Conjecture2
shapesafe.core.shape.ProveShapeSpec ‑ can report Static
shapesafe.core.shape.ProveShapeSpec ‑ can report Unchecked
shapesafe.core.shape.SingletonConstraintSpike ‑ 1
shapesafe.core.shape.SingletonConstraintSpike ‑ 2
shapesafe.core.shape.SingletonConstraintSpike ‑ 3
shapesafe.core.shape.SingletonConstraintSpike ‑ 4
shapesafe.core.shape.SingletonProductArgsSpike ‑ a
shapesafe.core.shape.StaticShapeSpec ‑ FromAxes$ 1
shapesafe.core.shape.StaticShapeSpec ‑ FromAxes$ 2
shapesafe.core.shape.StaticShapeSpec ‑ FromAxes$ from HNil
shapesafe.core.shape.StaticShapeSpec ‑ FromAxes$ with empty name
shapesafe.core.shape.StaticShapeSpec ‑ FromStatic$ 1
shapesafe.core.shape.StaticShapeSpec ‑ FromStatic$ 2
shapesafe.core.shape.StaticShapeSpec ‑ FromStatic$ from HNil
shapesafe.core.shape.StaticShapeSpec ‑ Literals$ 1
shapesafe.core.shape.StaticShapeSpec ‑ Literals$ 2
shapesafe.core.shape.StaticShapeSpec ‑ Nats$ 1
shapesafe.core.shape.StaticShapeSpec ‑ Nats$ 2
shapesafe.core.shape.StaticShapeSpec ‑ construct mixed
shapesafe.core.shape.StaticShapeSpec ‑ construct named
shapesafe.core.shape.StaticShapeSpec ‑ construct nameless
shapesafe.core.shape.StaticShapeSpec ‑ construct nameless shortcut
shapesafe.core.shape.StaticShapeSpec ‑ index 1
shapesafe.core.shape.StaticShapeSpec ‑ index 2
shapesafe.core.shape.StaticShapeSpec ‑ names 1
shapesafe.core.shape.StaticShapeSpec ‑ peek & interrupt 1
shapesafe.core.shape.StaticShapeSpec ‑ peek & interrupt 2
shapesafe.core.shape.StaticShapeSpec ‑ peek & interrupt Eye
shapesafe.core.shape.StaticShapeSpec ‑ record 1
shapesafe.core.shape.StaticShapeSpec ‑ record 2
shapesafe.core.shape.StaticShapeSpec ‑ toString
shapesafe.core.shape.StaticShapeSpec ‑ values 1
shapesafe.core.shape.StaticShapeSpike ‑ records example 1
shapesafe.core.shape.StaticShapeSpike ‑ records example 2
shapesafe.core.shape.StaticShapeSpike ‑ records example 3
shapesafe.core.shape.StaticShapeSpike ‑ records example 4
shapesafe.core.shape.StaticShapeSpike ‑ records example 5
shapesafe.core.shape.StaticShapeSpike ‑ records zip
shapesafe.core.shape.UncheckedSpec ‑ can be proven in Conjecture 1
shapesafe.core.shape.UncheckedSpec ‑ can be proven in Conjecture 2
shapesafe.core.shape.binary.Op2ByDimSpec ‑ applyByDim will FAIL if ... even if both operands are conjectures
shapesafe.core.shape.binary.Op2ByDimSpec ‑ applyByDim will FAIL if operands has different dimensions
shapesafe.core.shape.binary.Op2ByDimSpec ‑ applyByDimDropLeft can drop extra dimension(s) if ... even if both operands are conjectures
shapesafe.core.shape.binary.Op2ByDimSpec ‑ applyByDimDropLeft can drop extra dimension(s) if operands has different dimensions
shapesafe.core.shape.binary.Op2ByDimSpec ‑ matrix Kronecker product
shapesafe.core.shape.binary.Op2ByDimSpec ‑ matrix direct sum
shapesafe.core.shape.binary.Op2ByDimSpec ‑ matrix shouldEqual
shapesafe.core.shape.binary.Op2ByDimSpec ‑ peek DropLef
shapesafe.core.shape.binary.Op2ByDimSpec ‑ peek Strict
shapesafe.core.shape.binary.Op2ByDimSpec ‑ treeString
shapesafe.core.shape.binary.OuterProductSpec ‑ outer 1
shapesafe.core.shape.binary.OuterProductSpec ‑ outer 2
shapesafe.core.shape.ops.VectorOpsSuite ‑ cross won't work for vector3
shapesafe.core.shape.ops.VectorOpsSuite ‑ cross works for vector3
shapesafe.core.shape.ops.VectorOpsSuite ‑ dot works for vector3
shapesafe.core.shape.ops.VectorOpsSuite ‑ dot works for vector4
shapesafe.core.shape.unary.AccumulateByNameSpec ‑ matrix Kronecker product
shapesafe.core.shape.unary.AccumulateByNameSpec ‑ matrix direct sum
shapesafe.core.shape.unary.AccumulateByNameSpec ‑ peek reduceByName
shapesafe.core.shape.unary.AccumulateByNameSpec ‑ treeString
shapesafe.core.shape.unary.EinSumSpec ‑ CANNOT einsum if 1st operand has dimension mismatch
shapesafe.core.shape.unary.EinSumSpec ‑ CANNOT einsum if 2nd operand has dimension mismatch
shapesafe.core.shape.unary.EinSumSpec ‑ CANNOT einsum if result has dimension mismatch
shapesafe.core.shape.unary.EinSumSpec ‑ CANNOT einsum if result refers to non-existing index
shapesafe.core.shape.unary.EinSumSpec ‑ Indexing CANNOT create if name --> dimension has conflict
shapesafe.core.shape.unary.EinSumSpec ‑ Indexing can create if name --> dimension has no conflict
shapesafe.core.shape.unary.EinSumSpec ‑ Indexing can create if names has no duplicate
shapesafe.core.shape.unary.EinSumSpec ‑ Indexing can create singleton
shapesafe.core.shape.unary.EinSumSpec ‑ can -> ... alternative syntax
shapesafe.core.shape.unary.EinSumSpec ‑ can -> 1
shapesafe.core.shape.unary.EinSumSpec ‑ can -> 2
shapesafe.core.shape.unary.EinSumSpec ‑ can einSum 1
shapesafe.core.shape.unary.EinSumSpec ‑ can einSum 2
shapesafe.core.shape.unary.EinSumSpec ‑ can einSum 3
shapesafe.core.shape.unary.EinSumSpec ‑ can einSum 4
shapesafe.core.shape.unary.EinSumSpec ‑ can einSum eye
shapesafe.core.shape.unary.EinSumSpec ‑ treeString
shapesafe.core.shape.unary.GiveNamesSpec ‑ :<<= 1
shapesafe.core.shape.unary.GiveNamesSpec ‑ :<<= 2
shapesafe.core.shape.unary.GiveNamesSpec ‑ :<<= 3
shapesafe.core.shape.unary.GiveNamesSpec ‑ CANNOT eval if ... even if S1 is a conjecture
shapesafe.core.shape.unary.GiveNamesSpec ‑ CANNOT eval if operands has different dimensions
shapesafe.core.shape.unary.GiveNamesSpec ‑ CANNOT eval if peek & interrupt 1
shapesafe.core.shape.unary.GiveNamesSpec ‑ CANNOT eval if peek & interrupt 2
shapesafe.core.shape.unary.GiveNamesSpec ‑ CANNOT eval if peek & interrupt getReportMsg
shapesafe.core.shape.unary.RearrangeSpec ‑ CANNOT rearrange if index with a given name cannot be found
shapesafe.core.shape.unary.RearrangeSpec ‑ Premise 1
shapesafe.core.shape.unary.RearrangeSpec ‑ Premise 2
shapesafe.core.shape.unary.RearrangeSpec ‑ Premise 3
shapesafe.core.shape.unary.RearrangeSpec ‑ Premise eye
shapesafe.core.shape.unary.RearrangeSpec ‑ can rearrange ... alternative syntax
shapesafe.core.shape.unary.RearrangeSpec ‑ can rearrange even for nameless shapes
shapesafe.core.shape.unary.RearrangeSpec ‑ can rearrange if shape doesn't have distinct names
shapesafe.core.shape.unary.RearrangeSpec ‑ can rearrange with indices
shapesafe.core.shape.unary.RearrangeSpec ‑ can rearrange with name
shapesafe.core.shape.unary.RearrangeSpec ‑ can rearrange with names
shapesafe.core.shape.unary.RequireDistinctNamesSpec ‑ CANNOT eval if shape has duplicated names
shapesafe.core.shape.unary.RequireDistinctNamesSpec ‑ can eval if shape has distinct names 1
shapesafe.core.shape.unary.RequireDistinctNamesSpec ‑ can eval if shape has distinct names 2
shapesafe.core.shape.unary.RequireDistinctNamesSpec ‑ can eval if shape has distinct names 3
shapesafe.core.shape.unary.RequireDistinctNamesSpec ‑ can eval if singleton 1
shapesafe.core.shape.unary.RequireDistinctNamesSpec ‑ can eval if singleton 2
shapesafe.core.shape.unary.RequireNumOfDimensionsSpec ‑ can eval if named
shapesafe.core.shape.unary.RequireNumOfDimensionsSpec ‑ can eval if nameless
shapesafe.core.shape.unary.RequireNumOfDimensionsSpec ‑ cannot eval if named
shapesafe.core.shape.unary.RequireNumOfDimensionsSpec ‑ cannot eval if nameless
shapesafe.core.shape.unary.Select1Spec ‑ ... indirectly
shapesafe.core.shape.unary.Select1Spec ‑ .... indirectly
shapesafe.core.shape.unary.Select1Spec ‑ by name
shapesafe.core.shape.unary.Select1Spec ‑ from Left
shapesafe.core.shape.unary.Select1Spec ‑ select1 by name
shapesafe.core.shape.unary.Select1Spec ‑ select1 from Left
shapesafe.core.util.ConstraintSpec ‑ CANNOT prove if a member is not a subtype
shapesafe.core.util.ConstraintSpec ‑ prove 1 element
shapesafe.core.util.ConstraintSpec ‑ prove 2 elements
shapesafe.core.util.ConstraintSpec ‑ prove 5 elements
shapesafe.core.util.ConstraintSpec ‑ prove base
shapesafe.core.util.ConstraintSpec ‑ prove if members are of different subtypes
shapesafe.core.util.HListViewSpec ‑ GetField
shapesafe.core.util.HListViewSpec ‑ GetV
shapesafe.demo.core.ShowCase_ComplexSpec ‑ shapesafe/demo/core/ShowCase_Complex Compiling ...
shapesafe.demo.core.ShowCase_ComplexSpec ‑ shapesafe/demo/core/ShowCase_Complex ETA 17000ms
shapesafe.demo.core.ShowCase_RefuteSpec ‑ shapesafe/demo/core/ShowCase_Refute Compiling ...
shapesafe.demo.core.ShowCase_RefuteSpec ‑ shapesafe/demo/core/ShowCase_Refute ETA 37000ms
shapesafe.demo.tutorial.TutorialPart1Spec ‑ shapesafe/demo/tutorial/TutorialPart1 Compiling ...
shapesafe.demo.tutorial.TutorialPart1Spec ‑ shapesafe/demo/tutorial/TutorialPart1 ETA 20000ms
shapesafe.demo.tutorial.TutorialPart2Spec ‑ shapesafe/demo/tutorial/TutorialPart2 Compiling ...
shapesafe.demo.tutorial.TutorialPart2Spec ‑ shapesafe/demo/tutorial/TutorialPart2 ETA 20000ms
shapesafe.demo.tutorial.TutorialPart3Spec ‑ shapesafe/demo/tutorial/TutorialPart3 Compiling ...
shapesafe.demo.tutorial.TutorialPart3Spec ‑ shapesafe/demo/tutorial/TutorialPart3 ETA 10000ms
shapesafe.demo.tutorial.TutorialPart3_ContinueSpec ‑ shapesafe/demo/tutorial/TutorialPart3_Continue Compiling ...
shapesafe.demo.tutorial.TutorialPart3_ContinueSpec ‑ shapesafe/demo/tutorial/TutorialPart3_Continue ETA 440000ms
shapesafe.m.EmitSpec ‑ Error ... as a fallback
shapesafe.m.EmitSpec ‑ Error directly
shapesafe.m.EmitSpec ‑ Error indirectly
shapesafe.m.GenericMsgEmitterSpec ‑ byOnlyInstance
shapesafe.m.GenericMsgEmitterSpec ‑ byOp
shapesafe.m.GenericMsgEmitterSpec ‑ can emit info
shapesafe.m.GenericMsgEmitterSpec ‑ can emit warning
shapesafe.m.viz.KindVizCTSpec ‑ KindVizCT ... implicitly
shapesafe.m.viz.KindVizCTSpec ‑ KindVizCT 1
shapesafe.m.viz.KindVizCTSpec ‑ NoTree ... implicitly
shapesafe.m.viz.KindVizCTSpec ‑ NoTree 1
shapesafe.m.viz.KindVizCTSpec ‑ NoTree generic 1
shapesafe.m.viz.KindVizCTSpec ‑ NoTree ground truth
shapesafe.m.viz.KindVizCTSpec ‑ NoTree interrupt
shapesafe.m.viz.KindVizCTSpec ‑ NoTree peek
shapesafe.m.viz.KindVizCTSpec ‑ NoTree peek (explicit)
shapesafe.m.viz.KindVizCTSpec ‑ NoTree summonStr
shapesafe.m.viz.KindVizCTSpec ‑ WithOvrd ... implicitly
shapesafe.m.viz.KindVizCTSpec ‑ WithOvrd 1
shapesafe.m.viz.KindVizCTSpec ‑ WithOvrd 2
shapesafe.m.viz.KindVizCTSpec ‑ WithOvrd abort on error 1
shapesafe.m.viz.PeekCTSpec ‑ ... with duplicate(S) in type args
shapesafe.m.viz.PeekCTSpec ‑ can format expressions of singletons
shapesafe.m.viz.PeekCTSpec ‑ can format singleton
shapesafe.m.viz.TypeVizCTSpec ‑ can emit error for 6
shapesafe.m.viz.TypeVizCTSpec ‑ can emit error for Int
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ ... with YUUGE number of args!
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ ... won't cause ProductArgs.applyDynamic to contaminate compile-time method validation
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ Reified arity
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ Reified crossValidate
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ apply
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ concat 1
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ conv 1
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ conv 2
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ dot_* 1
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ dot_* type manually defined
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ from hList
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ pad 1
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ zeros (literal)
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ zeros (stable lazy val)
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ zeros (stable val)
shapesafe.verify.breeze.tensor.DoubleVectorSpec ‑ zeros unsupported