chymyst / curryhoward 0.3.8

Apache License 2.0 GitHub

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

intuitionistic-logic
scala
scala-macros
lambda-terms
lambda-calculus
theorem-prover
curry-howard-isomorphism
code-generation
automated-theorem-provers
functional-programming

Scala versions: 2.13 2.12 2.11

Latest version

[![curryhoward Scala version support](https://index.scala-lang.org/chymyst/curryhoward/curryhoward/latest.svg)](https://index.scala-lang.org/chymyst/curryhoward/curryhoward)

JVM badge

[![curryhoward Scala version support](https://index.scala-lang.org/chymyst/curryhoward/curryhoward/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/chymyst/curryhoward/curryhoward)