typine

Type inequality witnesses for Scala

License

License

GroupId

GroupId

com.github.mvv.typine
ArtifactId

ArtifactId

typine_3.0.0-RC2
Last Version

Last Version

0.1-M2
Release Date

Release Date

Type

Type

jar
Description

Description

typine
Type inequality witnesses for Scala
Project URL

Project URL

https://github.com/mvv/typine
Project Organization

Project Organization

com.github.mvv.typine
Source Code Management

Source Code Management

https://github.com/mvv/typine

Download typine_3.0.0-RC2

How to add to project

<!-- https://jarcasting.com/artifacts/com.github.mvv.typine/typine_3.0.0-RC2/ -->
<dependency>
    <groupId>com.github.mvv.typine</groupId>
    <artifactId>typine_3.0.0-RC2</artifactId>
    <version>0.1-M2</version>
</dependency>
// https://jarcasting.com/artifacts/com.github.mvv.typine/typine_3.0.0-RC2/
implementation 'com.github.mvv.typine:typine_3.0.0-RC2:0.1-M2'
// https://jarcasting.com/artifacts/com.github.mvv.typine/typine_3.0.0-RC2/
implementation ("com.github.mvv.typine:typine_3.0.0-RC2:0.1-M2")
'com.github.mvv.typine:typine_3.0.0-RC2:jar:0.1-M2'
<dependency org="com.github.mvv.typine" name="typine_3.0.0-RC2" rev="0.1-M2">
  <artifact name="typine_3.0.0-RC2" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.github.mvv.typine', module='typine_3.0.0-RC2', version='0.1-M2')
)
libraryDependencies += "com.github.mvv.typine" % "typine_3.0.0-RC2" % "0.1-M2"
[com.github.mvv.typine/typine_3.0.0-RC2 "0.1-M2"]

Dependencies

compile (1)

Group / Artifact Type Version
org.scala-lang : scala3-library_3.0.0-RC2 jar 3.0.0-RC2

test (1)

Group / Artifact Type Version
org.scalatest : scalatest_3.0.0-RC2 jar 3.2.7

Project Modules

There are no modules declared in this project.

Versions

Version
0.1-M2