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-macro 0.1.1

Group ID:

ai.acyclic.shapesafe

Artifact ID:

shapesafe-macro_2.13

Version:

0.1.1

Release Date:

Feb 12, 2022

Licenses:

Apache-2.0

Files:

Full Scala Version:

2.13.8

Developers:

Peng Cheng

libraryDependencies += "ai.acyclic.shapesafe" %% "shapesafe-macro" % "0.1.1"

ivy"ai.acyclic.shapesafe::shapesafe-macro:0.1.1"

//> using dep "ai.acyclic.shapesafe::shapesafe-macro:0.1.1"

import $ivy.`ai.acyclic.shapesafe::shapesafe-macro:0.1.1`

<dependency>
  <groupId>ai.acyclic.shapesafe</groupId>
  <artifactId>shapesafe-macro_2.13</artifactId>
  <version>0.1.1</version>
</dependency>

compile group: 'ai.acyclic.shapesafe', name: 'shapesafe-macro_2.13', version: '0.1.1'