/shapesafe

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

Primary LanguageScalaApache License 2.0Apache-2.0

Stargazers