Artifacts using Singleton Ops (31)
10.Shapesafe1 usages
ai.acyclic.shapesafe » shapesafe-macro Apache
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Last Release on Jun 2, 2022
ai.acyclic.shapesafe » shapesafe-macro Apache