chymyst / curryhoward 0.3.8

Apache License 2.0 GitHub

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

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

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)