typine

Type inequality witnesses for Scala

License

License

GroupId

GroupId

com.github.mvv.typine
ArtifactId

ArtifactId

typine_2.13
Last Version

Last Version

0.1-M4
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_2.13

How to add to project

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

Dependencies

compile (1)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.13.8

provided (1)

Group / Artifact Type Version
org.scala-lang : scala-reflect jar 2.13.8

test (1)

Group / Artifact Type Version
org.scalatest : scalatest_2.13 jar 3.2.10

Project Modules

There are no modules declared in this project.

Versions

Version
0.1-M4
0.1-M3
0.1-M2
0.1-M1