curryhoward：通过Curry-Howard同构为Scala函数和表达式自动生成代码

【文件属性】：
文件名称：curryhoward：通过Curry-Howard同构为Scala函数和表达式自动生成代码
文件大小：112KB
文件格式：ZIP
更新时间：2021-02-05 23:32:58
scala functional-programming lambda-calculus scala-macros code-generation curryhoward：通过Curry-Howard同构为Scala函数和表达式自动生成代码

【文件预览】：
curryhoward-master
----project()
--------build.properties(22B)
--------plugins.sbt(304B)
----src()
--------test()
--------main()
----.travis.yml(412B)
----LICENSE(11KB)
----build.sbt(8KB)
----README.md(20KB)
----docs()
--------Tutorial.md(45KB)
----.gitignore(312B)
----sonatype.sbt(569B)