Leibniz equivalence and Liskov substitutability library for Scala.
- liskov-subsititution
- scala
- variance
- witnesses
- propositions-as-types
- existential-types
- equality
- leibniz
- gadt
- subtyping
- dependent-types
- liskov-substitution-principle
Scala versions:
2.12
leibniz 0.4.0
Group ID:
com.alexknvl
Artifact ID:
leibniz_2.12
Version:
0.4.0
Release Date:
Jun 14, 2017
Licenses:
libraryDependencies += "com.alexknvl" %% "leibniz" % "0.4.0" resolvers += Resolver.bintrayRepo("alexknvl", "maven")
ivy"com.alexknvl::leibniz:0.4.0" MavenRepository("https://dl.bintray.com/alexknvl/maven")
//> using dep "com.alexknvl::leibniz:0.4.0"
import $ivy.`com.alexknvl::leibniz:0.4.0` import ammonite._, Resolvers._ val res = Resolver.Http( "Bintray alexknvl maven", "Some(https://dl.bintray.com/alexknvl/maven)", IvyPattern, false) interp.resolvers() = interp.resolvers() :+ res
<dependency> <groupId>com.alexknvl</groupId> <artifactId>leibniz_2.12</artifactId> <version>0.4.0</version> </dependency>
compile group: 'com.alexknvl', name: 'leibniz_2.12', version: '0.4.0'