polymorphic-master.zip
(预估有个22文件)
polymorphic-master
.gitignore
194B
project
plugins.sbt
1KB
build.properties
18B
Build.scala
7KB
src
main
scala
std
data
quantified
Pi.scala
2KB
Exists.scala
1KB
Instance.scala
1KB
Forall.scala
3KB
Implies.scala
1KB
FunctionK.scala
2KB
package.scala
760B
syntax
ForallSyntax.scala
668B
ExistsSyntax.scala
631B
package.scala
156B
Sigma.scala
1KB
test
scala
InstanceTest.scala
850B
FunctionKTest.scala
329B
ForallTest.scala
1KB
ExistsTest.scala
2KB
LICENSE
1KB
README.md
2KB
build.sbt
1KB
暂无评论