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-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:
Apache-2.0
Files:
View all
Full Scala Version:
2.13.8
Developers:
Peng Cheng 

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

Mill build tool

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

Scala CLI

//> using dep "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'

Documentation

Try online with Scastie
Try on Scastie

4 Dependencies

1 Dependent