JarCastingcurryhoward
Automatic code generation from function types using the Curry-Howard correspondence
| License |
License |
|---|---|
| GroupId | GroupIdio.chymyst |
| ArtifactId | ArtifactIdcurryhoward_2.11 |
| Last Version | Last Version0.3.8 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
Descriptioncurryhoward
Automatic code generation from function types using the Curry-Howard correspondence
|
| Project URL |
Project URL |
| Project Organization |
Project Organization |
Download curryhoward_2.11
| Filename | Size |
|---|---|
| curryhoward_2.11-0.3.8.pom | |
| curryhoward_2.11-0.3.8.jar | 423 KB |
| curryhoward_2.11-0.3.8-sources.jar | 24 KB |
| curryhoward_2.11-0.3.8-javadoc.jar | 472 KB |
| Browse |
How to add to project
<!-- https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.11/ -->
<dependency>
<groupId>io.chymyst</groupId>
<artifactId>curryhoward_2.11</artifactId>
<version>0.3.8</version>
</dependency>// https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.11/
implementation 'io.chymyst:curryhoward_2.11:0.3.8'// https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.11/
implementation ("io.chymyst:curryhoward_2.11:0.3.8")'io.chymyst:curryhoward_2.11:jar:0.3.8'<dependency org="io.chymyst" name="curryhoward_2.11" rev="0.3.8">
<artifact name="curryhoward_2.11" type="jar" />
</dependency>@Grapes(
@Grab(group='io.chymyst', module='curryhoward_2.11', version='0.3.8')
)libraryDependencies += "io.chymyst" % "curryhoward_2.11" % "0.3.8"[io.chymyst/curryhoward_2.11 "0.3.8"]Dependencies
compile (2)
| Group / Artifact | Type | Version |
|---|---|---|
| org.scala-lang : scala-library | jar | 2.11.12 |
| org.scala-lang : scala-reflect | jar | 2.11.12 |
test (3)
| Group / Artifact | Type | Version |
|---|---|---|
| org.scalatest : scalatest_2.11 | jar | 3.0.8 |
| org.scalacheck : scalacheck_2.11 | jar | 1.14.0 |
| com.github.alexarchambault : scalacheck-shapeless_1.13_2.11 | jar | 1.1.6 |
Project Modules
There are no modules declared in this project.
