Go Back

Curryhoward

DevOps

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