Download curryhoward_2.12 JAR file with all dependencies
curryhoward_2.12 from group io.chymyst (version 0.3.8)
Automatic code generation from function types using the Curry-Howard correspondence
Artifact curryhoward_2.12
Group io.chymyst
Version 0.3.8
Last update 23. August 2021
Tags: using correspondence automatic howard code from types generation curry function
Organization io.chymyst
URL https://github.com/Chymyst/curryhoward
License Apache License, Version 2.0
Dependencies amount 2
Dependencies scala-library, scala-reflect,
There are maybe transitive dependencies!
Group io.chymyst
Version 0.3.8
Last update 23. August 2021
Tags: using correspondence automatic howard code from types generation curry function
Organization io.chymyst
URL https://github.com/Chymyst/curryhoward
License Apache License, Version 2.0
Dependencies amount 2
Dependencies scala-library, scala-reflect,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)