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.0


Group ID:
ai.acyclic.shapesafe
Artifact ID:
shapesafe-macro_2.13
Version:
0.1.0
Release Date:
Feb 7, 2022
Licenses:
Files:

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

Mill build tool

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

Scala CLI

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

Ammonite REPL

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

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

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