JarCasting
JarCasting JarCasting

typine

Type inequality witnesses for Scala

License

License
GroupId

GroupId

com.github.mvv.typine
ArtifactId

ArtifactId

typine_3
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_3

Filename Size
typine_3-0.1-M4.pom
typine_3-0.1-M4.jar 23 KB
typine_3-0.1-M4-sources.jar 2 KB
typine_3-0.1-M4-javadoc.jar 444 KB
Browse

How to add to project

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

Dependencies

compile (1)

Group / Artifact Type Version
org.scala-lang : scala3-library_3 jar 3.0.2

test (1)

Group / Artifact Type Version
org.scalatest : scalatest_3 jar 3.2.10

Project Modules

There are no modules declared in this project.

Versions

Version
0.1-M4
0.1-M3