tribbloid / shapesafe 0.1.4

Apache License 2.0 GitHub

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

Scala versions: 2.13

shapesafe-core 0.1.2

Group ID:

ai.acyclic.shapesafe

Artifact ID:

shapesafe-core_2.13

Version:

0.1.2

Release Date:

Mar 26, 2022

Licenses:

Apache-2.0

Files:

Full Scala Version:

2.13.8

Developers:

Peng Cheng

libraryDependencies += "ai.acyclic.shapesafe" %% "shapesafe-core" % "0.1.2"

ivy"ai.acyclic.shapesafe::shapesafe-core:0.1.2"

//> using dep "ai.acyclic.shapesafe::shapesafe-core:0.1.2"

import $ivy.`ai.acyclic.shapesafe::shapesafe-core:0.1.2`

<dependency>
  <groupId>ai.acyclic.shapesafe</groupId>
  <artifactId>shapesafe-core_2.13</artifactId>
  <version>0.1.2</version>
</dependency>

compile group: 'ai.acyclic.shapesafe', name: 'shapesafe-core_2.13', version: '0.1.2'