chymyst / curryhoward   0.3.8

Apache License 2.0 GitHub

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Scala versions: 2.13 2.12 2.11
15 versions found for curryhoward
0.3.8
2 years ago
Apache-2.0
JVM:
2.13 2.12 2.11
0.3.7
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.3.6
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.3.5
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.3.4
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.3.3
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.3.2
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.3.1
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.3.0
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.2.4
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.2.3
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.2.2
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.2.1
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.2.0
5 years ago
Apache-2.0
JVM:
2.12 2.11
0.1.0
5 years ago
Apache-2.0
JVM:
2.12 2.11