Download shapesafe-macro_2.13 JAR file with all dependencies
shapesafe-macro_2.13 from group ai.acyclic.shapesafe (version 0.1.4)
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Group: ai.acyclic.shapesafe Artifact: shapesafe-macro_2.13
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact shapesafe-macro_2.13
Group ai.acyclic.shapesafe
Version 0.1.4
Last update 02. June 2022
Organization not specified
URL https://github.com/tribbloid/shapesafe
License Apache License, Version 2.0
Dependencies amount 2
Dependencies shapesafe-graph-commons_2.13, singleton-ops_2.13,
There are maybe transitive dependencies!
Group ai.acyclic.shapesafe
Version 0.1.4
Last update 02. June 2022
Organization not specified
URL https://github.com/tribbloid/shapesafe
License Apache License, Version 2.0
Dependencies amount 2
Dependencies shapesafe-graph-commons_2.13, singleton-ops_2.13,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)