JarCasting
JarCasting JarCasting

Группа библиотек: ai.acyclic.shapesafe

shapesafe

 ai.acyclic.shapesafe : shapesafe-graph-commons_2.13

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

Последняя версия: 0.1.4

Дата:

shapesafe

 ai.acyclic.shapesafe : shapesafe-macro_2.13

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

Последняя версия: 0.1.4

Дата:

shapesafe

 ai.acyclic.shapesafe : shapesafe-core_2.13

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

Последняя версия: 0.1.4

Дата:

  • 1