japi:pi 演算的 Java 实现-源码

[{"title":"（ 40 个子文件 1.11MB ） japi:pi 演算的 Java 实现-源码","children":[{"title":"japi-master","children":[{"title":"japi <span style='color:#111;'> 70B </span>","children":null,"spread":false},{"title":"LICENSE <span style='color:#111;'> 34B </span>","children":null,"spread":false},{"title":"src","children":[{"title":"interpreter","children":[{"title":"Interpreter.java <span style='color:#111;'> 32.69KB </span>","children":null,"spread":false},{"title":"LambdaReducer.java <span style='color:#111;'> 3.91KB </span>","children":null,"spread":false},{"title":"PiReducer.java <span style='color:#111;'> 5.66KB </span>","children":null,"spread":false}],"spread":true},{"title":"main","children":[{"title":"Main.java <span style='color:#111;'> 2.91KB </span>","children":null,"spread":false}],"spread":true},{"title":"syntax","children":[{"title":"Variable.java <span style='color:#111;'> 2.84KB </span>","children":null,"spread":false},{"title":"PiTerm.java <span style='color:#111;'> 5.18KB </span>","children":null,"spread":false},{"title":"Term.java <span style='color:#111;'> 2.27KB </span>","children":null,"spread":false},{"title":"LambdaTerm.java <span style='color:#111;'> 411B </span>","children":null,"spread":false},{"title":"Receive.java <span style='color:#111;'> 5.56KB </span>","children":null,"spread":false},{"title":"NDSum.java <span style='color:#111;'> 1.61KB </span>","children":null,"spread":false},{"title":"Parallel.java <span style='color:#111;'> 1.60KB </span>","children":null,"spread":false},{"title":"PiTermComm.java <span style='color:#111;'> 891B </span>","children":null,"spread":false},{"title":"Application.java <span style='color:#111;'> 3.95KB </span>","children":null,"spread":false},{"title":"Tau.java <span style='color:#111;'> 927B </span>","children":null,"spread":false},{"title":"PiTermOneSub.java <span style='color:#111;'> 1.92KB </span>","children":null,"spread":false},{"title":"Abstraction.java <span style='color:#111;'> 3.78KB </span>","children":null,"spread":false},{"title":"Send.java <span style='color:#111;'> 4.61KB </span>","children":null,"spread":false},{"title":"Replicate.java <span style='color:#111;'> 1.13KB </span>","children":null,"spread":false},{"title":"PiTermManySub.java <span style='color:#111;'> 3.42KB </span>","children":null,"spread":false},{"title":"Restrict.java <span style='color:#111;'> 3.67KB </span>","children":null,"spread":false}],"spread":false},{"title":"utils","children":[{"title":"Either.java <span style='color:#111;'> 756B </span>","children":null,"spread":false},{"title":"Triple.java <span style='color:#111;'> 1.95KB </span>","children":null,"spread":false},{"title":"Utils.java <span style='color:#111;'> 6.94KB </span>","children":null,"spread":false},{"title":"Pair.java <span style='color:#111;'> 1.39KB </span>","children":null,"spread":false}],"spread":true},{"title":"parser","children":[{"title":"japi.cup <span style='color:#111;'> 5.26KB </span>","children":null,"spread":false},{"title":"japi.flex <span style='color:#111;'> 4.34KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"examples","children":[{"title":"lambda <span style='color:#111;'> 109B </span>","children":null,"spread":false},{"title":"test <span style='color:#111;'> 191B </span>","children":null,"spread":false},{"title":"polyadic <span style='color:#111;'> 92B </span>","children":null,"spread":false},{"title":"nonterminating <span style='color:#111;'> 249B </span>","children":null,"spread":false},{"title":"sums <span style='color:#111;'> 190B </span>","children":null,"spread":false}],"spread":true},{"title":".gitignore <span style='color:#111;'> 30B </span>","children":null,"spread":false},{"title":"lib","children":[{"title":"java-cup-11b.jar <span style='color:#111;'> 105.75KB </span>","children":null,"spread":false},{"title":"java-cup-11b-runtime.jar <span style='color:#111;'> 22.06KB </span>","children":null,"spread":false},{"title":"jflex-1.6.0.jar <span style='color:#111;'> 1.00MB </span>","children":null,"spread":false}],"spread":true},{"title":"Makefile <span style='color:#111;'> 598B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 1.71KB </span>","children":null,"spread":false},{"title":"build <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]