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

shapesafe-graph-commons 0.1.0


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

libraryDependencies += "ai.acyclic.shapesafe" %% "shapesafe-graph-commons" % "0.1.0"

Mill build tool

ivy"ai.acyclic.shapesafe::shapesafe-graph-commons:0.1.0"

Ammonite REPL

import $ivy.`ai.acyclic.shapesafe::shapesafe-graph-commons:0.1.0`

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

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