lambda-n-ways
需积分: 9 112 浏览量
2021-07-23
13:21:36
上传
评论
收藏 2.13MB ZIP 举报
lambda-n-ways （144个子文件） 
lambda-n-ways.cabal 5KB .DS_Store 6KB .DS_Store 6KB .DS_Store 6KB .gitignore 151B VarEnv.hs 21KB Type.hs 18KB CoreFVs.hs 16KB Subst.hs 16KB UniqDFM.hs 15KB TypedOpt.hs 14KB UniqFM.hs 13KB IndicesAndLevels.hs 12KB ParOpt.hs 11KB ClassRevised.hs 11KB VarSet.hs 11KB Typed.hs 11KB Class.hs 11KB SimpleH.hs 11KB SimpleB.hs 10KB Nominal.hs 10KB SimpleM.hs 10KB Par.hs 10KB Opt.hs 9KB Perm.hs 8KB QuickBench.hs 7KB Kit.hs 7KB Chlipala.hs 7KB FV.hs 7KB UniqSet.hs 6KB Unique.hs 6KB Main.hs 5KB Ott.hs 5KB Suite.hs 4KB Unique.hs 4KB Nested.hs 4KB Nom.hs 4KB Simple.hs 4KB Nf.hs 3KB BoundNonGeneric.hs 3KB Nested2.hs 3KB Unbound.hs 3KB LocallyNameless.hs 3KB Impl.hs 3KB UnboundGenerics.hs 2KB F.hs 2KB Unbound.hs 2KB DeBruijnPar.hs 2KB Set.hs 1KB DeBruijn.hs 1KB Map.hs 1KB Nat.hs 1KB Imports.hs 1KB Core.hs 1KB B.hs 913B Id.hs 674B
con_bench.html 3.19MB capt_bench.html 993KB aeq_bench.html 650KB conv_bench.html 635KB rand_bench.html 464KB nf_bench.html 350KB settings.json 481B random35.lam 131KB lams100.lam 129KB random25.lam 124KB foursubst.lam 47KB random35.nf.lam 45KB threesubst.lam 44KB random2.lam 43KB random.lam 42KB lams100.nf.lam 37KB random25.nf.lam 32KB twosubst.lam 28KB onesubst.lam 16KB random.nf.lam 8KB random2.nf.lam 7KB foursubst.nf.lam 6KB threesubst.nf.lam 5KB twosubst.nf.lam 5KB onesubst.nf.lam 4KB regression1.nf.lam 2KB regression1.lam 2KB constructed20.lam 2KB t5.lam 932B constructed20.nf.lam 900B constructed10.lam 873B lennart.lam 862B capture10.lam 842B t7.lam 736B tests.lam 440B constructed.lam 325B capture10.nf.lam 282B simple.lam 278B constructed10.nf.lam 250B t5.nf.lam 243B t3.lam 206B t6.lam 171B t7.nf.lam 148B t4.lam 142B共 144 条
- 1
- 2
资源评论
