shapesafe

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

License	Apache License, Version 2.0
Categories	CLI User Interface
GroupId	ai.acyclic.shapesafe
ArtifactId	shapesafe-core_2.13
Last Version	0.1.4
Release Date	Jun 2, 2022
Type	pom.sha512
Description	shapesafe SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Project URL	https://github.com/tribbloid/shapesafe
Source Code Management	https://github.com/tribbloid/shapesafe

Download shapesafe-core_2.13

Filename	Size
shapesafe-core_2.13-0.1.4.pom
shapesafe-core_2.13-0.1.4-sources.jar	57 KB
shapesafe-core_2.13-0.1.4-javadoc.jar	261 bytes

Dependencies

compile (1)

Group / Artifact	Type	Version
ai.acyclic.shapesafe : shapesafe-macro_2.13	jar	0.1.4

runtime (4)

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

Project Modules

There are no modules declared in this project.

Versions

Version
0.1.4 Jun 2, 2022
0.1.3 Mar 28, 2022
0.1.2 Mar 27, 2022
0.1.1 Feb 12, 2022
0.1.0 Feb 7, 2022