License |
License |
---|---|
Categories |
CategoriesCLI User Interface |
GroupId | GroupIdai.acyclic.shapesafe |
ArtifactId | ArtifactIdshapesafe-graph-commons_2.13 |
Last Version | Last Version0.1.4 |
Release Date | Release Date |
Type | Typepom.sha512 |
Description |
Descriptionshapesafe
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Group / Artifact | Type | Version |
---|---|---|
com.chuusai : shapeless_2.13 | jar | 2.3.7 |
org.scala-lang : scala-compiler | jar | 2.13.8 |
org.scala-lang : scala-library | jar | 2.13.8 |
org.scala-lang : scala-reflect | jar | 2.13.8 |