License |
License |
---|---|
Categories |
CategoriesCLI User Interface |
GroupId | GroupIdai.acyclic.shapesafe |
ArtifactId | ArtifactIdshapesafe-macro_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 |
Filename | Size |
---|---|
shapesafe-macro_2.13-0.1.4.pom | |
shapesafe-macro_2.13-0.1.4-sources.jar | 6 KB |
shapesafe-macro_2.13-0.1.4-javadoc.jar | 261 bytes |
Browse |
Group / Artifact | Type | Version |
---|---|---|
ai.acyclic.shapesafe : shapesafe-graph-commons_2.13 | jar | 0.1.4 |
eu.timepit : singleton-ops_2.13 | jar | 0.5.2 |
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 |