curryhoward-master.zip
(预估有个39文件)
curryhoward-master
project
build.properties
22B
plugins.sbt
304B
src
test
scala
io
chymyst
ch
unit
LJTSpec.scala
9KB
OrderingSpec.scala
3KB
LJTSpec3.scala
9KB
LambdaTermsSpec.scala
29KB
LJTSpec4.scala
286B
LJTSpec2.scala
10KB
MatchTypeSpec.scala
4KB
TermExprSpec.scala
12KB
MacrosSpec.scala
8KB
RecursiveTypesSpec.scala
2KB
MiscSpec.scala
3KB
MoreMatchTypeSpec.scala
9KB
LawChecking.scala
3KB
ApiSpec.scala
5KB
TheoremProverSpec.scala
3KB
LawsSpec.scala
8KB
main
scala-2.11
io
chymyst
ch
MonadEither.scala
244B
tut
Tutorial.md
36KB
scala-2.12
io
chymyst
ch
MonadEither.scala
256B
scala
io
chymyst
ch
TermExpr.scala
41KB
LJT.scala
19KB
Helper.scala
480B
TypeExpr.scala
16KB
TheoremProver.scala
10KB
Macros.scala
27KB
ForwardRule.scala
336B
data
Monoid.scala
281B
LawChecking.scala
1KB
Sequent.scala
1KB
package.scala
5KB
.travis.yml
412B
LICENSE
11KB
build.sbt
8KB
README.md
20KB
docs
Tutorial.md
45KB
.gitignore
312B
sonatype.sbt
569B
暂无评论