shapesafe
shapesafe copied to clipboard
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Results
1
shapesafe issues
Sort by
recently updated
recently updated
newest added
Brief Description: Shapesafe is one of the most capable static shape inference libraries available for production-grade compilers (Scala 2.13), Its speed however is capped by complex and uncached implicit search...