tribbloid / shapesafe   0.1.4

Apache License 2.0 GitHub

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Scala versions: 2.13
5 versions found for shapesafe-core