├── .gitignore ├── .hlint.yaml ├── CONTRIBUTING.md ├── LICENSE ├── Makefile ├── README.md ├── analysis └── Analysis.hs ├── bench └── Main.lhs ├── bencheval.sh ├── cabal.project ├── doc ├── ACM-Reference-Format.bst ├── Implementations.md ├── Part1.md ├── Part2.md ├── Part3.md ├── Part4.md ├── Part5.md ├── acmart.cls ├── ifl-2021.pptx ├── love-2021.pptx ├── plclub-2021.pptx ├── talk-abstract.md ├── wits-abstract.pdf ├── wits-abstract.tex ├── wits-discussion.pdf ├── wits-discussion.pptx └── wits-short-abstract.md ├── hie.yaml ├── lambda-n-ways.cabal ├── lambs ├── fact5b.eval.lam ├── fact5b.lam ├── lennartb.eval.lam ├── lennartb.lam ├── lennartb4.eval.lam ├── lennartb4.lam ├── lennartb5.eval.lam ├── lennartb5.lam ├── lennartchurch.eval.lam └── lennartchurch.lam ├── lams ├── adjust.lam ├── adjust.nf.lam ├── adjustb.lam ├── adjustb.nf.lam ├── capture10.lam ├── capture10.nf.lam ├── constructed.lam ├── constructed10.eval.lam ├── constructed10.lam ├── constructed10.nf.lam ├── constructed20.eval.lam ├── constructed20.lam ├── constructed20.nf.lam ├── fact5.lam ├── foursubst.lam ├── foursubst.nf.lam ├── full-2.lam ├── full-2.nf.lam ├── full.eval.lam ├── full.lam ├── full.nf.lam ├── id.eval.lam ├── id.lam ├── id.nf.lam ├── lams100.lam ├── lams100.nf.lam ├── lazy.eval.lam ├── lazy.lam ├── lazy.nf.lam ├── lennart.eval.lam ├── lennart.lam ├── lennart.nf.lam ├── lennartchurch.lam ├── onesubst.lam ├── onesubst.nf.lam ├── random.lam ├── random.nf.lam ├── random15.lam ├── random15.nf.lam ├── random16.lam ├── random16.nf.lam ├── random17.lam ├── random17.nf.lam ├── random18.lam ├── random18.nf.lam ├── random19.lam ├── random19.nf.lam ├── random2.lam ├── random2.nf.lam ├── random20.lam ├── random20.nf.lam ├── random25-19.lam ├── random25-19.nf.lam ├── random25-20.lam ├── random25-20.nf.lam ├── random25.lam ├── random25.nf.lam ├── random35.lam ├── random35.nf.lam ├── regression1.lam ├── regression1.nf.lam ├── simple.lam ├── t1.lam ├── t1.nf.lam ├── t2.lam ├── t2.nf.lam ├── t3.lam ├── t3.nf.lam ├── t4.lam ├── t4.nf.lam ├── t5.lam ├── t5.nf.lam ├── t6.lam ├── t6.nf.lam ├── t7.lam ├── t7.nf.lam ├── tests.lam ├── tests.nf.lam ├── threesubst.lam ├── threesubst.nf.lam ├── twosubst.lam └── twosubst.nf.lam ├── lib ├── .DS_Store ├── Auto │ ├── Env │ │ ├── Lazy │ │ │ ├── Bind.hs │ │ │ ├── BindV.hs │ │ │ ├── BindVal.hs │ │ │ ├── Env.hs │ │ │ ├── EnvGenV.hs │ │ │ ├── EnvV.hs │ │ │ ├── EvalV.hs │ │ │ ├── ExplicitSubstEnvV.hs │ │ │ ├── ExplicitSubstV.hs │ │ │ ├── Subst.hs │ │ │ └── SubstV.hs │ │ └── Strict │ │ │ ├── Bind.hs │ │ │ ├── BindV.hs │ │ │ ├── Env.hs │ │ │ ├── EnvGen.hs │ │ │ ├── EnvGenV.hs │ │ │ ├── EnvV.hs │ │ │ └── Subst.hs │ └── Manual │ │ ├── Lazy │ │ ├── Bind.hs │ │ ├── BindV.hs │ │ ├── BindVal.hs │ │ ├── Env.hs │ │ ├── EnvOnlyV.hs │ │ ├── EnvV.hs │ │ ├── EnvVal.hs │ │ ├── Eval.hs │ │ ├── EvalV.hs │ │ ├── ExplicitSubstEnvV.hs │ │ ├── ExplicitSubstV.hs │ │ ├── Subst.hs │ │ └── SubstV.hs │ │ └── Strict │ │ ├── Bind.hs │ │ ├── BindV.hs │ │ ├── Env.hs │ │ ├── Eval.hs │ │ ├── Subst.hs │ │ └── SubstV.hs ├── Core │ ├── Core.hs │ ├── CoreFVs.hs │ ├── FV.hs │ ├── Nf.hs │ ├── Subst.hs │ ├── UniqDFM.hs │ ├── UniqFM.hs │ ├── UniqSet.hs │ ├── Unique.hs │ ├── VarEnv.hs │ └── VarSet.hs ├── DeBruijn │ ├── Bound.hs │ ├── BoundV.hs │ ├── CPDT.hs │ ├── Cornell.hs │ ├── Kit.hs │ ├── Krivine.hs │ ├── KrivineScoped.hs │ ├── Lazy │ │ ├── Bound.hs │ │ ├── CPDT.hs │ │ ├── Cornell.hs │ │ ├── Kit.hs │ │ ├── Lennart.lhs │ │ ├── Lift.lhs │ │ ├── Nested.hs │ │ ├── Par │ │ │ ├── B.hs │ │ │ ├── Fun.hs │ │ │ ├── GB.hs │ │ │ ├── L.hs │ │ │ ├── P.hs │ │ │ └── Scoped.hs │ │ └── TAPL.hs │ ├── Lennart.lhs │ ├── Lift.lhs │ ├── Nested.hs │ ├── NestedV.hs │ ├── Par │ │ ├── B.hs │ │ ├── Fun.hs │ │ ├── GB.hs │ │ ├── L.hs │ │ ├── P.hs │ │ └── Scoped.hs │ └── TAPL.hs ├── Lennart │ ├── DeBruijn.lhs │ ├── HOAS.lhs │ ├── Simple.hs │ ├── SimpleOrig.hs │ └── Unique.lhs ├── LocallyNameless │ ├── GenericInstOpt.hs │ ├── GenericOpt.hs │ ├── Lazy │ │ ├── GenericInstOpt.hs │ │ ├── GenericOpt.hs │ │ ├── Opt.hs │ │ ├── Ott.hs │ │ ├── ParOpt.hs │ │ ├── ParScoped.hs │ │ ├── SupportOpt.hs │ │ └── TypedOtt.hs │ ├── Opt.hs │ ├── Ott.hs │ ├── ParOpt.hs │ ├── ParScoped.hs │ ├── SupportInstOpt.hs │ ├── SupportOpt.hs │ ├── TypedOpt.hs │ └── TypedOtt.hs ├── NBE │ ├── Aelig.hs │ ├── Boesflug.hs │ ├── Contextual.hs │ ├── Felgenhauer.hs │ ├── Kovacs.hs │ ├── KovacsNamed.hs │ ├── KovacsScoped.hs │ ├── KovacsScoped2.hs │ └── Lazy │ │ └── KovacsScoped.hs ├── Named │ ├── Foil.hs │ ├── FoilV.hs │ ├── Lazy │ │ ├── Foil.hs │ │ ├── NominalG.lhs │ │ ├── Simple.hs │ │ ├── SimpleGH.hs │ │ ├── SimpleH.hs │ │ └── SimpleM.hs │ ├── Lennart.hs │ ├── Nom.hs │ ├── NominalG.lhs │ ├── Simple.hs │ ├── SimpleGH.hs │ ├── SimpleH.hs │ ├── SimpleM.hs │ └── Unique.lhs ├── QuickBench.hs ├── Suite.hs ├── Support │ ├── Par │ │ ├── Subst.hs │ │ └── SubstScoped.hs │ ├── README.md │ ├── SubstH.hs │ ├── SubstOpt.hs │ ├── SubstOptRefactor.hs │ └── TypedSubstOpt.hs ├── Unbound │ ├── Lazy │ │ ├── UnboundGenerics.hs │ │ └── UnboundNonGenerics.hs │ ├── UnboundGenerics.hs │ ├── UnboundGenericsV.hs │ ├── UnboundNonGenerics.hs │ └── UnboundNonGenericsV.hs ├── Util │ ├── Id.hs │ ├── IdInt.hs │ ├── IdInt │ │ ├── Map.hs │ │ └── Set.hs │ ├── Impl.hs │ ├── Imports.hs │ ├── Misc.hs │ ├── Nat.hs │ ├── Perm.hs │ ├── Stats.hs │ ├── Syntax │ │ ├── DeBruijn.hs │ │ ├── Lambda.hs │ │ ├── Lazy │ │ │ ├── DeBruijn.hs │ │ │ ├── Lambda.hs │ │ │ ├── Named.hs │ │ │ └── ScopedDeBruijn.hs │ │ ├── Named.hs │ │ └── ScopedDeBruijn.hs │ └── Vec.hs └── old │ ├── Abstract │ ├── .DS_Store │ ├── Class.hs │ ├── ClassRevised.hs │ ├── DeBruijn.hs │ ├── DeBruijnPar.hs │ ├── DeBruijnPar │ │ ├── B.hs │ │ └── F.hs │ ├── Simple.hs │ ├── Unbound.hs │ ├── UnboundGenerics.hs │ └── Unique.hs │ ├── BoundNonGeneric.hs │ ├── DeBruijnC.lhs │ ├── Deprecated │ ├── Lazy.List.lhs │ ├── Lazy.Par.FB.hs │ ├── Lazy.TypedOpt.hs │ ├── List.lhs │ ├── Par.FB.hs │ └── README.md │ ├── Kmett │ ├── IndicesAndLevels.hs │ └── Type.hs │ ├── LambdaImpl.lhs │ ├── LocallyNameless.hs │ ├── Nominal.hs │ └── SimpleB.hs ├── results ├── Stephanie-Weirich-MBP │ └── autoenv │ │ └── eval_bench.html ├── constructed │ ├── DeBruijn │ │ ├── Bound-adjust.csv │ │ ├── Bound-adjust.html │ │ ├── Bound-adjustb.csv │ │ ├── Bound-adjustb.html │ │ ├── Bound-ids.csv │ │ ├── Bound-ids.html │ │ ├── CPDT-adjust.csv │ │ ├── CPDT-adjust.html │ │ ├── CPDT-adjustb.csv │ │ ├── CPDT-adjustb.html │ │ ├── CPDT-ids.csv │ │ ├── CPDT-ids.html │ │ ├── Cornell-adjust.csv │ │ ├── Cornell-adjust.html │ │ ├── Cornell-adjustb.csv │ │ ├── Cornell-adjustb.html │ │ ├── Cornell-ids.csv │ │ ├── Cornell-ids.html │ │ ├── Kit-adjust.csv │ │ ├── Kit-adjust.html │ │ ├── Kit-adjustb.csv │ │ ├── Kit-adjustb.html │ │ ├── Kit-ids.csv │ │ ├── Kit-ids.html │ │ ├── Lazy │ │ │ ├── Bound-adjust.csv │ │ │ ├── Bound-adjust.html │ │ │ ├── Bound-adjustb.csv │ │ │ ├── Bound-adjustb.html │ │ │ ├── Bound-ids.csv │ │ │ ├── Bound-ids.html │ │ │ ├── CPDT-adjust.csv │ │ │ ├── CPDT-adjust.html │ │ │ ├── CPDT-adjustb.csv │ │ │ ├── CPDT-adjustb.html │ │ │ ├── CPDT-ids.csv │ │ │ ├── CPDT-ids.html │ │ │ ├── Cornell-adjust.csv │ │ │ ├── Cornell-adjust.html │ │ │ ├── Cornell-adjustb.csv │ │ │ ├── Cornell-adjustb.html │ │ │ ├── Cornell-ids.csv │ │ │ ├── Cornell-ids.html │ │ │ ├── Kit-adjust.csv │ │ │ ├── Kit-adjust.html │ │ │ ├── Kit-adjustb.csv │ │ │ ├── Kit-adjustb.html │ │ │ ├── Kit-ids.csv │ │ │ ├── Kit-ids.html │ │ │ ├── Lennart-adjust.csv │ │ │ ├── Lennart-adjust.html │ │ │ ├── Lennart-adjustb.csv │ │ │ ├── Lennart-adjustb.html │ │ │ ├── Lennart-ids.csv │ │ │ ├── Lennart-ids.html │ │ │ ├── Lift-adjust.csv │ │ │ ├── Lift-adjust.html │ │ │ ├── Lift-adjustb.csv │ │ │ ├── Lift-adjustb.html │ │ │ ├── Lift-ids.csv │ │ │ ├── Lift-ids.html │ │ │ ├── Nested-adjust.csv │ │ │ ├── Nested-adjust.html │ │ │ ├── Nested-adjustb.csv │ │ │ ├── Nested-adjustb.html │ │ │ ├── Nested-ids.csv │ │ │ ├── Nested-ids.html │ │ │ ├── Par │ │ │ │ ├── B-adjust.csv │ │ │ │ ├── B-adjust.html │ │ │ │ ├── B-adjustb.csv │ │ │ │ ├── B-adjustb.html │ │ │ │ ├── B-ids.csv │ │ │ │ ├── B-ids.html │ │ │ │ ├── Fun-adjust.csv │ │ │ │ ├── Fun-adjust.html │ │ │ │ ├── Fun-adjustb.csv │ │ │ │ ├── Fun-adjustb.html │ │ │ │ ├── Fun-ids.csv │ │ │ │ ├── Fun-ids.html │ │ │ │ ├── GB-adjust.csv │ │ │ │ ├── GB-adjust.html │ │ │ │ ├── GB-adjustb.csv │ │ │ │ ├── GB-adjustb.html │ │ │ │ ├── GB-ids.csv │ │ │ │ ├── GB-ids.html │ │ │ │ ├── L-adjust.csv │ │ │ │ ├── L-adjust.html │ │ │ │ ├── L-adjustb.csv │ │ │ │ ├── L-adjustb.html │ │ │ │ ├── L-ids.csv │ │ │ │ ├── L-ids.html │ │ │ │ ├── P-adjust.csv │ │ │ │ ├── P-adjust.html │ │ │ │ ├── P-adjustb.csv │ │ │ │ ├── P-adjustb.html │ │ │ │ ├── P-ids.csv │ │ │ │ ├── P-ids.html │ │ │ │ ├── Scoped-adjust.csv │ │ │ │ ├── Scoped-adjust.html │ │ │ │ ├── Scoped-adjustb.csv │ │ │ │ ├── Scoped-adjustb.html │ │ │ │ ├── Scoped-ids.csv │ │ │ │ ├── Scoped-ids.html │ │ │ │ └── uname.txt │ │ │ ├── TAPL-adjust.csv │ │ │ ├── TAPL-adjust.html │ │ │ ├── TAPL-adjustb.csv │ │ │ ├── TAPL-adjustb.html │ │ │ ├── TAPL-ids.csv │ │ │ ├── TAPL-ids.html │ │ │ └── uname.txt │ │ ├── Lennart-adjust.csv │ │ ├── Lennart-adjust.html │ │ ├── Lennart-adjustb.csv │ │ ├── Lennart-adjustb.html │ │ ├── Lennart-ids.csv │ │ ├── Lennart-ids.html │ │ ├── Lift-adjust.csv │ │ ├── Lift-adjust.html │ │ ├── Lift-adjustb.csv │ │ ├── Lift-adjustb.html │ │ ├── Lift-ids.csv │ │ ├── Lift-ids.html │ │ ├── Nested-adjust.csv │ │ ├── Nested-adjust.html │ │ ├── Nested-adjustb.csv │ │ ├── Nested-adjustb.html │ │ ├── Nested-ids.csv │ │ ├── Nested-ids.html │ │ ├── Par │ │ │ ├── B-adjust.csv │ │ │ ├── B-adjust.html │ │ │ ├── B-adjustb.csv │ │ │ ├── B-adjustb.html │ │ │ ├── B-ids.csv │ │ │ ├── B-ids.html │ │ │ ├── Fun-adjust.csv │ │ │ ├── Fun-adjust.html │ │ │ ├── Fun-adjustb.csv │ │ │ ├── Fun-adjustb.html │ │ │ ├── Fun-ids.csv │ │ │ ├── Fun-ids.html │ │ │ ├── GB-adjust.csv │ │ │ ├── GB-adjust.html │ │ │ ├── GB-adjustb.csv │ │ │ ├── GB-adjustb.html │ │ │ ├── GB-ids.csv │ │ │ ├── GB-ids.html │ │ │ ├── L-adjust.csv │ │ │ ├── L-adjust.html │ │ │ ├── L-adjustb.csv │ │ │ ├── L-adjustb.html │ │ │ ├── L-ids.csv │ │ │ ├── L-ids.html │ │ │ ├── P-adjust.csv │ │ │ ├── P-adjust.html │ │ │ ├── P-adjustb.csv │ │ │ ├── P-adjustb.html │ │ │ ├── P-ids.csv │ │ │ ├── P-ids.html │ │ │ ├── Scoped-adjust.csv │ │ │ ├── Scoped-adjust.html │ │ │ ├── Scoped-adjustb.csv │ │ │ ├── Scoped-adjustb.html │ │ │ ├── Scoped-ids.csv │ │ │ ├── Scoped-ids.html │ │ │ └── uname.txt │ │ ├── TAPL-adjust.csv │ │ ├── TAPL-adjust.html │ │ ├── TAPL-adjustb.csv │ │ ├── TAPL-adjustb.html │ │ ├── TAPL-ids.csv │ │ ├── TAPL-ids.html │ │ └── uname.txt │ └── LocallyNameless │ │ ├── GenericOpt-adjust.csv │ │ ├── GenericOpt-adjust.html │ │ ├── GenericOpt-adjustb.csv │ │ ├── GenericOpt-adjustb.html │ │ ├── GenericOpt-ids.csv │ │ ├── GenericOpt-ids.html │ │ ├── Lazy │ │ ├── Opt-adjust.csv │ │ ├── Opt-adjust.html │ │ ├── Opt-adjustb.csv │ │ ├── Opt-adjustb.html │ │ ├── Opt-capt.csv │ │ ├── Opt-capt.html │ │ ├── Opt-con.csv │ │ ├── Opt-con.html │ │ ├── Opt-ids.csv │ │ ├── Opt-ids.html │ │ ├── Ott-adjust.csv │ │ ├── Ott-adjust.html │ │ ├── Ott-adjustb.csv │ │ ├── Ott-adjustb.html │ │ ├── Ott-capt.csv │ │ ├── Ott-capt.html │ │ ├── Ott-con.csv │ │ ├── Ott-con.html │ │ ├── Ott-ids.csv │ │ ├── Ott-ids.html │ │ ├── ParOpt-adjust.csv │ │ ├── ParOpt-adjust.html │ │ ├── ParOpt-adjustb.csv │ │ ├── ParOpt-adjustb.html │ │ ├── ParOpt-capt.csv │ │ ├── ParOpt-capt.html │ │ ├── ParOpt-con.csv │ │ ├── ParOpt-con.html │ │ ├── ParOpt-ids.csv │ │ ├── ParOpt-ids.html │ │ ├── ParScoped-adjust.csv │ │ ├── ParScoped-adjust.html │ │ ├── ParScoped-adjustb.csv │ │ ├── ParScoped-adjustb.html │ │ ├── ParScoped-capt.csv │ │ ├── ParScoped-capt.html │ │ ├── ParScoped-con.csv │ │ ├── ParScoped-con.html │ │ ├── ParScoped-ids.csv │ │ ├── ParScoped-ids.html │ │ ├── TypedOpt-adjust.csv │ │ ├── TypedOpt-adjust.html │ │ ├── TypedOpt-adjustb.csv │ │ ├── TypedOpt-adjustb.html │ │ ├── TypedOpt-capt.csv │ │ ├── TypedOpt-capt.html │ │ ├── TypedOpt-con.csv │ │ ├── TypedOpt-con.html │ │ ├── TypedOpt-ids.csv │ │ ├── TypedOpt-ids.html │ │ ├── TypedOtt-adjust.csv │ │ ├── TypedOtt-adjust.html │ │ ├── TypedOtt-adjustb.csv │ │ ├── TypedOtt-adjustb.html │ │ ├── TypedOtt-capt.csv │ │ ├── TypedOtt-capt.html │ │ ├── TypedOtt-con.csv │ │ ├── TypedOtt-con.html │ │ ├── TypedOtt-ids.csv │ │ ├── TypedOtt-ids.html │ │ ├── UGSubstBind-adjust.csv │ │ ├── UGSubstBind-adjust.html │ │ ├── UGSubstBind-adjustb.csv │ │ ├── UGSubstBind-adjustb.html │ │ ├── UGSubstBind-ids.csv │ │ ├── UGSubstBind-ids.html │ │ ├── UnboundGenerics-adjust.csv │ │ ├── UnboundGenerics-adjust.html │ │ ├── UnboundGenerics-adjustb.csv │ │ ├── UnboundGenerics-adjustb.html │ │ ├── UnboundGenerics-ids.csv │ │ ├── UnboundGenerics-ids.html │ │ ├── UnboundRep-adjust.csv │ │ ├── UnboundRep-adjust.html │ │ ├── UnboundRep-adjustb.csv │ │ ├── UnboundRep-adjustb.html │ │ ├── UnboundRep-capt.csv │ │ ├── UnboundRep-capt.html │ │ ├── UnboundRep-con.csv │ │ ├── UnboundRep-con.html │ │ ├── UnboundRep-ids.csv │ │ ├── UnboundRep-ids.html │ │ └── uname.txt │ │ ├── Opt-adjust.csv │ │ ├── Opt-adjust.html │ │ ├── Opt-adjustb.csv │ │ ├── Opt-adjustb.html │ │ ├── Opt-capt.csv │ │ ├── Opt-capt.html │ │ ├── Opt-con.csv │ │ ├── Opt-con.html │ │ ├── Opt-ids.csv │ │ ├── Opt-ids.html │ │ ├── Ott-adjust.csv │ │ ├── Ott-adjust.html │ │ ├── Ott-adjustb.csv │ │ ├── Ott-adjustb.html │ │ ├── Ott-capt.csv │ │ ├── Ott-capt.html │ │ ├── Ott-con.csv │ │ ├── Ott-con.html │ │ ├── Ott-ids.csv │ │ ├── Ott-ids.html │ │ ├── ParOpt-adjust.csv │ │ ├── ParOpt-adjust.html │ │ ├── ParOpt-adjustb.csv │ │ ├── ParOpt-adjustb.html │ │ ├── ParOpt-capt.csv │ │ ├── ParOpt-capt.html │ │ ├── ParOpt-con.csv │ │ ├── ParOpt-con.html │ │ ├── ParOpt-ids.csv │ │ ├── ParOpt-ids.html │ │ ├── ParScoped-adjust.csv │ │ ├── ParScoped-adjust.html │ │ ├── ParScoped-adjustb.csv │ │ ├── ParScoped-adjustb.html │ │ ├── ParScoped-capt.csv │ │ ├── ParScoped-capt.html │ │ ├── ParScoped-con.csv │ │ ├── ParScoped-con.html │ │ ├── ParScoped-ids.csv │ │ ├── ParScoped-ids.html │ │ ├── TypedOpt-adjust.csv │ │ ├── TypedOpt-adjust.html │ │ ├── TypedOpt-adjustb.csv │ │ ├── TypedOpt-adjustb.html │ │ ├── TypedOpt-capt.csv │ │ ├── TypedOpt-capt.html │ │ ├── TypedOpt-con.csv │ │ ├── TypedOpt-con.html │ │ ├── TypedOpt-ids.csv │ │ ├── TypedOpt-ids.html │ │ ├── TypedOtt-adjust.csv │ │ ├── TypedOtt-adjust.html │ │ ├── TypedOtt-adjustb.csv │ │ ├── TypedOtt-adjustb.html │ │ ├── TypedOtt-capt.csv │ │ ├── TypedOtt-capt.html │ │ ├── TypedOtt-con.csv │ │ ├── TypedOtt-con.html │ │ ├── TypedOtt-ids.csv │ │ ├── TypedOtt-ids.html │ │ ├── UGSubstBind-adjust.csv │ │ ├── UGSubstBind-adjust.html │ │ ├── UGSubstBind-adjustb.csv │ │ ├── UGSubstBind-adjustb.html │ │ ├── UGSubstBind-ids.csv │ │ ├── UGSubstBind-ids.html │ │ ├── UnboundGenerics-adjust.csv │ │ ├── UnboundGenerics-adjust.html │ │ ├── UnboundGenerics-adjustb.csv │ │ ├── UnboundGenerics-adjustb.html │ │ ├── UnboundGenerics-ids.csv │ │ ├── UnboundGenerics-ids.html │ │ ├── UnboundRep-adjust.csv │ │ ├── UnboundRep-adjust.html │ │ ├── UnboundRep-adjustb.csv │ │ ├── UnboundRep-adjustb.html │ │ ├── UnboundRep-capt.csv │ │ ├── UnboundRep-capt.html │ │ ├── UnboundRep-con.csv │ │ ├── UnboundRep-con.html │ │ ├── UnboundRep-ids.csv │ │ ├── UnboundRep-ids.html │ │ └── uname.txt ├── sixteen.local │ ├── all_impls │ │ ├── aeq_bench.html │ │ ├── aeqs_bench.html │ │ ├── conv_bench.html │ │ ├── nf_bench.csv │ │ ├── nf_bench.html │ │ ├── output.txt │ │ ├── random15_bench.html │ │ └── random20_bench.html │ ├── db_lazy_nf_bench.html │ ├── db_lazy_random15_bench.html │ ├── db_nf_bench.html │ ├── db_random15_bench.html │ ├── debruijn │ │ ├── nf_bench.html │ │ ├── output.txt │ │ ├── random15_bench.html │ │ └── random20_bench.html │ ├── fast_nf_bench.html │ ├── fast_random15_bench.html │ ├── hackage_nf_bench.html │ ├── hackage_random15_bench.html │ ├── ifl_talk │ │ ├── nf_bench.csv │ │ ├── nf_bench.html │ │ ├── nf_bench.xlsx │ │ ├── output.txt │ │ ├── random15_bench.html │ │ ├── random15_output.txt │ │ ├── random20_bench.html │ │ └── random20_output.txt │ ├── lazy_nf_bench.html │ ├── lazy_random15_bench.html │ ├── lennart_nf_bench.html │ ├── lennart_random15_bench.html │ ├── ln_nf_bench.html │ ├── ln_opt_nf_bench.html │ ├── ln_opt_random15_bench.html │ ├── ln_random15_bench.html │ ├── locallyNameless │ │ ├── nf_bench.html │ │ ├── output.txt │ │ ├── random15_bench.html │ │ └── random20_bench.html │ ├── named_nf_bench.html │ ├── nf_bench.html │ ├── output.txt │ ├── random │ │ └── output.txt │ └── random15_bench.html └── zephyrus │ ├── aeq_bench.html │ ├── aeqs_bench.html │ ├── all_nf_bench.html │ ├── all_random15_bench.html │ ├── constructed │ ├── DeBruijn │ │ ├── Bound-adjust.csv │ │ ├── Bound-adjust.html │ │ ├── CPDT-adjust.csv │ │ ├── CPDT-adjust.html │ │ ├── Cornell-adjust.csv │ │ ├── Cornell-adjust.html │ │ ├── Kit-adjust.csv │ │ ├── Kit-adjust.html │ │ ├── Lazy │ │ │ ├── Bound-adjust.csv │ │ │ ├── Bound-adjust.html │ │ │ ├── CPDT-adjust.csv │ │ │ ├── CPDT-adjust.html │ │ │ ├── Cornell-adjust.csv │ │ │ ├── Cornell-adjust.html │ │ │ ├── Kit-adjust.csv │ │ │ ├── Kit-adjust.html │ │ │ ├── Lennart-adjust.csv │ │ │ ├── Lennart-adjust.html │ │ │ ├── Lift-adjust.csv │ │ │ ├── Lift-adjust.html │ │ │ ├── List-adjust.csv │ │ │ ├── List-adjust.html │ │ │ ├── Nested-adjust.csv │ │ │ ├── Nested-adjust.html │ │ │ ├── Par │ │ │ │ ├── B-adjust.csv │ │ │ │ ├── B-adjust.html │ │ │ │ ├── FB-adjust.csv │ │ │ │ ├── FB-adjust.html │ │ │ │ ├── L-adjust.csv │ │ │ │ ├── L-adjust.html │ │ │ │ ├── P-adjust.csv │ │ │ │ ├── P-adjust.html │ │ │ │ ├── Scoped-adjust.csv │ │ │ │ ├── Scoped-adjust.html │ │ │ │ └── uname.txt │ │ │ ├── TAPL-adjust.csv │ │ │ ├── TAPL-adjust.html │ │ │ └── uname.txt │ │ ├── Lennart-adjust.csv │ │ ├── Lennart-adjust.html │ │ ├── Lift-adjust.csv │ │ ├── Lift-adjust.html │ │ ├── List-adjust.csv │ │ ├── List-adjust.html │ │ ├── Nested-adjust.csv │ │ ├── Nested-adjust.html │ │ ├── Par │ │ │ ├── B-adjust.csv │ │ │ ├── B-adjust.html │ │ │ ├── FB-adjust.csv │ │ │ ├── FB-adjust.html │ │ │ ├── L-adjust.csv │ │ │ ├── L-adjust.html │ │ │ ├── P-adjust.csv │ │ │ ├── P-adjust.html │ │ │ ├── Scoped-adjust.csv │ │ │ ├── Scoped-adjust.html │ │ │ └── uname.txt │ │ ├── TAPL-adjust.csv │ │ ├── TAPL-adjust.html │ │ └── uname.txt │ ├── LocallyNameless │ │ ├── Opt-adjust.csv │ │ ├── Opt-adjust.html │ │ ├── Opt-capt.csv │ │ ├── Opt-capt.html │ │ ├── Opt-con.csv │ │ ├── Opt-con.html │ │ ├── Opt-ids.csv │ │ ├── Opt-ids.html │ │ ├── Ott-adjust.csv │ │ ├── Ott-adjust.html │ │ ├── Ott-capt.csv │ │ ├── Ott-capt.html │ │ ├── Ott-con.csv │ │ ├── Ott-con.html │ │ ├── Ott-ids.csv │ │ ├── Ott-ids.html │ │ ├── ParOpt-adjust.csv │ │ ├── ParOpt-adjust.html │ │ ├── ParOpt-capt.csv │ │ ├── ParOpt-capt.html │ │ ├── ParOpt-con.csv │ │ ├── ParOpt-con.html │ │ ├── ParOpt-ids.csv │ │ ├── ParOpt-ids.html │ │ ├── ParScoped-adjust.csv │ │ ├── ParScoped-adjust.html │ │ ├── ParScoped-capt.csv │ │ ├── ParScoped-capt.html │ │ ├── ParScoped-con.csv │ │ ├── ParScoped-con.html │ │ ├── ParScoped-ids.csv │ │ ├── ParScoped-ids.html │ │ ├── TypedOpt-adjust.csv │ │ ├── TypedOpt-adjust.html │ │ ├── TypedOpt-capt.csv │ │ ├── TypedOpt-capt.html │ │ ├── TypedOpt-con.csv │ │ ├── TypedOpt-con.html │ │ ├── TypedOpt-ids.csv │ │ ├── TypedOpt-ids.html │ │ ├── TypedOtt-adjust.csv │ │ ├── TypedOtt-adjust.html │ │ ├── TypedOtt-capt.csv │ │ ├── TypedOtt-capt.html │ │ ├── TypedOtt-con.csv │ │ ├── TypedOtt-con.html │ │ ├── TypedOtt-ids.csv │ │ ├── TypedOtt-ids.html │ │ ├── UnboundRep-adjust.csv │ │ ├── UnboundRep-adjust.html │ │ ├── UnboundRep-capt.csv │ │ ├── UnboundRep-capt.html │ │ ├── UnboundRep-con.csv │ │ ├── UnboundRep-con.html │ │ ├── UnboundRep-ids.csv │ │ ├── UnboundRep-ids.html │ │ └── uname.txt │ ├── Named │ │ ├── NominalG-adjust.csv │ │ ├── NominalG-adjust.html │ │ ├── SimpleH-adjust.csv │ │ ├── SimpleH-adjust.html │ │ ├── SimpleM-adjust.csv │ │ ├── SimpleM-adjust.html │ │ └── uname.txt │ └── ids_bench.html │ ├── conv_bench.html │ ├── nf │ ├── DeBruijn │ │ ├── Bound.csv │ │ ├── CPDT.csv │ │ ├── Cornell.csv │ │ ├── Kit.csv │ │ ├── Lazy │ │ │ ├── Bound.csv │ │ │ ├── CPDT.csv │ │ │ ├── Cornell.csv │ │ │ ├── Kit.csv │ │ │ ├── Lennart.csv │ │ │ ├── Lift.csv │ │ │ ├── List.csv │ │ │ ├── Nested.csv │ │ │ ├── Par │ │ │ │ ├── B.csv │ │ │ │ ├── F.csv │ │ │ │ ├── FB.csv │ │ │ │ ├── Fun.csv │ │ │ │ ├── L.csv │ │ │ │ ├── P.csv │ │ │ │ ├── Scoped.csv │ │ │ │ └── uname.txt │ │ │ ├── TAPL.csv │ │ │ └── uname.txt │ │ ├── Lennart.csv │ │ ├── Lift.csv │ │ ├── List.csv │ │ ├── Nested.csv │ │ ├── Par │ │ │ ├── B.csv │ │ │ ├── FB.csv │ │ │ ├── Fun.csv │ │ │ ├── L.csv │ │ │ ├── P.csv │ │ │ ├── Scoped.csv │ │ │ └── uname.txt │ │ ├── TAPL.csv │ │ └── uname.txt │ ├── LocallyNameless │ │ ├── Opt.csv │ │ ├── Ott.csv │ │ ├── ParOpt.csv │ │ ├── ParScoped.csv │ │ ├── TypedOpt.csv │ │ ├── TypedOtt.csv │ │ ├── UnboundGenerics-master.csv │ │ ├── UnboundGenerics.csv │ │ ├── UnboundRep.csv │ │ └── uname.txt │ └── Named │ │ ├── NominalG.csv │ │ ├── SimpleH.csv │ │ ├── SimpleM.csv │ │ └── uname.txt │ ├── nf_bench.html │ ├── output.txt │ ├── random │ ├── DeBruijn │ │ ├── Bound-15.csv │ │ ├── Bound-20.csv │ │ ├── CPDT-15.csv │ │ ├── CPDT-20.csv │ │ ├── Cornell-15.csv │ │ ├── Cornell-20.csv │ │ ├── Kit-15.csv │ │ ├── Kit-20.csv │ │ ├── Lazy │ │ │ ├── Bound-15.csv │ │ │ ├── Bound-20.csv │ │ │ ├── CPDT-15.csv │ │ │ ├── CPDT-20.csv │ │ │ ├── Cornell-15.csv │ │ │ ├── Cornell-20.csv │ │ │ ├── Kit-15.csv │ │ │ ├── Kit-20.csv │ │ │ ├── Lennart-15.csv │ │ │ ├── Lennart-20.csv │ │ │ ├── Lift-15.csv │ │ │ ├── Lift-20.csv │ │ │ ├── List-15.csv │ │ │ ├── List-20.csv │ │ │ ├── Nested-15.csv │ │ │ ├── Nested-20.csv │ │ │ ├── Par │ │ │ │ ├── B-15.csv │ │ │ │ ├── B-20.csv │ │ │ │ ├── F-15.csv │ │ │ │ ├── F-20.csv │ │ │ │ ├── FB-15.csv │ │ │ │ ├── FB-20.csv │ │ │ │ ├── L-15.csv │ │ │ │ ├── L-20.csv │ │ │ │ ├── P-15.csv │ │ │ │ ├── P-20.csv │ │ │ │ ├── Scoped-15.csv │ │ │ │ ├── Scoped-20.csv │ │ │ │ └── uname.txt │ │ │ ├── TAPL-15.csv │ │ │ ├── TAPL-20.csv │ │ │ └── uname.txt │ │ ├── Lennart-15.csv │ │ ├── Lennart-20.csv │ │ ├── Lift-15.csv │ │ ├── Lift-20.csv │ │ ├── List-15.csv │ │ ├── List-20.csv │ │ ├── Nested-15.csv │ │ ├── Nested-20.csv │ │ ├── Par │ │ │ ├── B-15.csv │ │ │ ├── B-20.csv │ │ │ ├── F-15.csv │ │ │ ├── F-20.csv │ │ │ ├── FB-15.csv │ │ │ ├── FB-20.csv │ │ │ ├── L-15.csv │ │ │ ├── L-20.csv │ │ │ ├── P-15.csv │ │ │ ├── P-20.csv │ │ │ ├── Scoped-15.csv │ │ │ ├── Scoped-20.csv │ │ │ └── uname.txt │ │ ├── TAPL-15.csv │ │ ├── TAPL-20.csv │ │ └── uname.txt │ ├── LocallyNameless │ │ ├── Opt-15.csv │ │ ├── Opt-20.csv │ │ ├── Ott-15.csv │ │ ├── Ott-20.csv │ │ ├── Par-15.csv │ │ ├── Par-20.csv │ │ ├── ParOpt-15.csv │ │ ├── ParOpt-20.csv │ │ ├── Typed-15.csv │ │ ├── Typed-20.csv │ │ ├── TypedOpt-15.csv │ │ ├── TypedOpt-20.csv │ │ ├── Unbound-15.csv │ │ ├── Unbound-20.csv │ │ └── uname.txt │ ├── Named │ │ ├── NominalG-15.csv │ │ ├── NominalG-20.csv │ │ ├── SimpleH-15.csv │ │ ├── SimpleH-20.csv │ │ ├── SimpleM-15.csv │ │ ├── SimpleM-20.csv │ │ └── uname.txt │ ├── foursubst_bench.html │ ├── ids_bench.html │ ├── nf_bench.html │ ├── onesubst_bench.html │ ├── output.txt │ ├── random2_bench.html │ ├── random_bench.html │ ├── threesubst_bench.html │ └── twosubst_bench.html │ ├── random15_bench.html │ └── random20_bench.html ├── stack-lts-14.27.yaml ├── stack.yaml └── tests └── Main.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/README.md -------------------------------------------------------------------------------- /analysis/Analysis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/analysis/Analysis.hs -------------------------------------------------------------------------------- /bench/Main.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/bench/Main.lhs -------------------------------------------------------------------------------- /bencheval.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/bencheval.sh -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/cabal.project -------------------------------------------------------------------------------- /doc/ACM-Reference-Format.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/ACM-Reference-Format.bst -------------------------------------------------------------------------------- /doc/Implementations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/Implementations.md -------------------------------------------------------------------------------- /doc/Part1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/Part1.md -------------------------------------------------------------------------------- /doc/Part2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/Part2.md -------------------------------------------------------------------------------- /doc/Part3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/Part3.md -------------------------------------------------------------------------------- /doc/Part4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/Part4.md -------------------------------------------------------------------------------- /doc/Part5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/Part5.md -------------------------------------------------------------------------------- /doc/acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/acmart.cls -------------------------------------------------------------------------------- /doc/ifl-2021.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/ifl-2021.pptx -------------------------------------------------------------------------------- /doc/love-2021.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/love-2021.pptx -------------------------------------------------------------------------------- /doc/plclub-2021.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/plclub-2021.pptx -------------------------------------------------------------------------------- /doc/talk-abstract.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/talk-abstract.md -------------------------------------------------------------------------------- /doc/wits-abstract.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/wits-abstract.pdf -------------------------------------------------------------------------------- /doc/wits-abstract.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/wits-abstract.tex -------------------------------------------------------------------------------- /doc/wits-discussion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/wits-discussion.pdf -------------------------------------------------------------------------------- /doc/wits-discussion.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/wits-discussion.pptx -------------------------------------------------------------------------------- /doc/wits-short-abstract.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/doc/wits-short-abstract.md -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/hie.yaml -------------------------------------------------------------------------------- /lambda-n-ways.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambda-n-ways.cabal -------------------------------------------------------------------------------- /lambs/fact5b.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/fact5b.eval.lam -------------------------------------------------------------------------------- /lambs/fact5b.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/fact5b.lam -------------------------------------------------------------------------------- /lambs/lennartb.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/lennartb.eval.lam -------------------------------------------------------------------------------- /lambs/lennartb.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/lennartb.lam -------------------------------------------------------------------------------- /lambs/lennartb4.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/lennartb4.eval.lam -------------------------------------------------------------------------------- /lambs/lennartb4.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/lennartb4.lam -------------------------------------------------------------------------------- /lambs/lennartb5.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/lennartb5.eval.lam -------------------------------------------------------------------------------- /lambs/lennartb5.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/lennartb5.lam -------------------------------------------------------------------------------- /lambs/lennartchurch.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/lennartchurch.eval.lam -------------------------------------------------------------------------------- /lambs/lennartchurch.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lambs/lennartchurch.lam -------------------------------------------------------------------------------- /lams/adjust.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/adjust.lam -------------------------------------------------------------------------------- /lams/adjust.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/adjust.nf.lam -------------------------------------------------------------------------------- /lams/adjustb.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/adjustb.lam -------------------------------------------------------------------------------- /lams/adjustb.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/adjustb.nf.lam -------------------------------------------------------------------------------- /lams/capture10.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/capture10.lam -------------------------------------------------------------------------------- /lams/capture10.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/capture10.nf.lam -------------------------------------------------------------------------------- /lams/constructed.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/constructed.lam -------------------------------------------------------------------------------- /lams/constructed10.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/constructed10.eval.lam -------------------------------------------------------------------------------- /lams/constructed10.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/constructed10.lam -------------------------------------------------------------------------------- /lams/constructed10.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/constructed10.nf.lam -------------------------------------------------------------------------------- /lams/constructed20.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/constructed20.eval.lam -------------------------------------------------------------------------------- /lams/constructed20.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/constructed20.lam -------------------------------------------------------------------------------- /lams/constructed20.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/constructed20.nf.lam -------------------------------------------------------------------------------- /lams/fact5.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/fact5.lam -------------------------------------------------------------------------------- /lams/foursubst.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/foursubst.lam -------------------------------------------------------------------------------- /lams/foursubst.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/foursubst.nf.lam -------------------------------------------------------------------------------- /lams/full-2.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/full-2.lam -------------------------------------------------------------------------------- /lams/full-2.nf.lam: -------------------------------------------------------------------------------- 1 | \x0.\x3.x3 2 | -------------------------------------------------------------------------------- /lams/full.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/full.eval.lam -------------------------------------------------------------------------------- /lams/full.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/full.lam -------------------------------------------------------------------------------- /lams/full.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/full.nf.lam -------------------------------------------------------------------------------- /lams/id.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/id.eval.lam -------------------------------------------------------------------------------- /lams/id.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/id.lam -------------------------------------------------------------------------------- /lams/id.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/id.nf.lam -------------------------------------------------------------------------------- /lams/lams100.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/lams100.lam -------------------------------------------------------------------------------- /lams/lams100.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/lams100.nf.lam -------------------------------------------------------------------------------- /lams/lazy.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/lazy.eval.lam -------------------------------------------------------------------------------- /lams/lazy.lam: -------------------------------------------------------------------------------- 1 | (\x0.x0 x0) ((\x1.x1) (\x2.x2)) 2 | -------------------------------------------------------------------------------- /lams/lazy.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/lazy.nf.lam -------------------------------------------------------------------------------- /lams/lennart.eval.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/lennart.eval.lam -------------------------------------------------------------------------------- /lams/lennart.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/lennart.lam -------------------------------------------------------------------------------- /lams/lennart.nf.lam: -------------------------------------------------------------------------------- 1 | -- Church encoding of false 2 | \x0.\x1.x1 3 | 4 | -------------------------------------------------------------------------------- /lams/lennartchurch.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/lennartchurch.lam -------------------------------------------------------------------------------- /lams/onesubst.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/onesubst.lam -------------------------------------------------------------------------------- /lams/onesubst.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/onesubst.nf.lam -------------------------------------------------------------------------------- /lams/random.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random.lam -------------------------------------------------------------------------------- /lams/random.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random.nf.lam -------------------------------------------------------------------------------- /lams/random15.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random15.lam -------------------------------------------------------------------------------- /lams/random15.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random15.nf.lam -------------------------------------------------------------------------------- /lams/random16.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random16.lam -------------------------------------------------------------------------------- /lams/random16.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random16.nf.lam -------------------------------------------------------------------------------- /lams/random17.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random17.lam -------------------------------------------------------------------------------- /lams/random17.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random17.nf.lam -------------------------------------------------------------------------------- /lams/random18.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random18.lam -------------------------------------------------------------------------------- /lams/random18.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random18.nf.lam -------------------------------------------------------------------------------- /lams/random19.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random19.lam -------------------------------------------------------------------------------- /lams/random19.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random19.nf.lam -------------------------------------------------------------------------------- /lams/random2.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random2.lam -------------------------------------------------------------------------------- /lams/random2.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random2.nf.lam -------------------------------------------------------------------------------- /lams/random20.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random20.lam -------------------------------------------------------------------------------- /lams/random20.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random20.nf.lam -------------------------------------------------------------------------------- /lams/random25-19.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random25-19.lam -------------------------------------------------------------------------------- /lams/random25-19.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random25-19.nf.lam -------------------------------------------------------------------------------- /lams/random25-20.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random25-20.lam -------------------------------------------------------------------------------- /lams/random25-20.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random25-20.nf.lam -------------------------------------------------------------------------------- /lams/random25.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random25.lam -------------------------------------------------------------------------------- /lams/random25.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random25.nf.lam -------------------------------------------------------------------------------- /lams/random35.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random35.lam -------------------------------------------------------------------------------- /lams/random35.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/random35.nf.lam -------------------------------------------------------------------------------- /lams/regression1.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/regression1.lam -------------------------------------------------------------------------------- /lams/regression1.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/regression1.nf.lam -------------------------------------------------------------------------------- /lams/simple.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/simple.lam -------------------------------------------------------------------------------- /lams/t1.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t1.lam -------------------------------------------------------------------------------- /lams/t1.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t1.nf.lam -------------------------------------------------------------------------------- /lams/t2.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t2.lam -------------------------------------------------------------------------------- /lams/t2.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t2.nf.lam -------------------------------------------------------------------------------- /lams/t3.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t3.lam -------------------------------------------------------------------------------- /lams/t3.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t3.nf.lam -------------------------------------------------------------------------------- /lams/t4.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t4.lam -------------------------------------------------------------------------------- /lams/t4.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t4.nf.lam -------------------------------------------------------------------------------- /lams/t5.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t5.lam -------------------------------------------------------------------------------- /lams/t5.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t5.nf.lam -------------------------------------------------------------------------------- /lams/t6.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t6.lam -------------------------------------------------------------------------------- /lams/t6.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t6.nf.lam -------------------------------------------------------------------------------- /lams/t7.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t7.lam -------------------------------------------------------------------------------- /lams/t7.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/t7.nf.lam -------------------------------------------------------------------------------- /lams/tests.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/tests.lam -------------------------------------------------------------------------------- /lams/tests.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/tests.nf.lam -------------------------------------------------------------------------------- /lams/threesubst.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/threesubst.lam -------------------------------------------------------------------------------- /lams/threesubst.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/threesubst.nf.lam -------------------------------------------------------------------------------- /lams/twosubst.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/twosubst.lam -------------------------------------------------------------------------------- /lams/twosubst.nf.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lams/twosubst.nf.lam -------------------------------------------------------------------------------- /lib/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/.DS_Store -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/Bind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/Bind.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/BindV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/BindV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/BindVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/BindVal.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/Env.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/EnvGenV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/EnvGenV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/EnvV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/EnvV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/EvalV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/EvalV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/ExplicitSubstEnvV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/ExplicitSubstEnvV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/ExplicitSubstV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/ExplicitSubstV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/Subst.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Lazy/SubstV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Lazy/SubstV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Strict/Bind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Strict/Bind.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Strict/BindV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Strict/BindV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Strict/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Strict/Env.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Strict/EnvGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Strict/EnvGen.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Strict/EnvGenV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Strict/EnvGenV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Strict/EnvV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Strict/EnvV.hs -------------------------------------------------------------------------------- /lib/Auto/Env/Strict/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Env/Strict/Subst.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/Bind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/Bind.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/BindV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/BindV.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/BindVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/BindVal.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/Env.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/EnvOnlyV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/EnvOnlyV.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/EnvV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/EnvV.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/EnvVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/EnvVal.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/Eval.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/EvalV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/EvalV.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/ExplicitSubstEnvV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/ExplicitSubstEnvV.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/ExplicitSubstV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/ExplicitSubstV.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/Subst.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Lazy/SubstV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Lazy/SubstV.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Strict/Bind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Strict/Bind.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Strict/BindV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Strict/BindV.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Strict/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Strict/Env.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Strict/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Strict/Eval.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Strict/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Strict/Subst.hs -------------------------------------------------------------------------------- /lib/Auto/Manual/Strict/SubstV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Auto/Manual/Strict/SubstV.hs -------------------------------------------------------------------------------- /lib/Core/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/Core.hs -------------------------------------------------------------------------------- /lib/Core/CoreFVs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/CoreFVs.hs -------------------------------------------------------------------------------- /lib/Core/FV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/FV.hs -------------------------------------------------------------------------------- /lib/Core/Nf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/Nf.hs -------------------------------------------------------------------------------- /lib/Core/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/Subst.hs -------------------------------------------------------------------------------- /lib/Core/UniqDFM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/UniqDFM.hs -------------------------------------------------------------------------------- /lib/Core/UniqFM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/UniqFM.hs -------------------------------------------------------------------------------- /lib/Core/UniqSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/UniqSet.hs -------------------------------------------------------------------------------- /lib/Core/Unique.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/Unique.hs -------------------------------------------------------------------------------- /lib/Core/VarEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/VarEnv.hs -------------------------------------------------------------------------------- /lib/Core/VarSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Core/VarSet.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Bound.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Bound.hs -------------------------------------------------------------------------------- /lib/DeBruijn/BoundV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/BoundV.hs -------------------------------------------------------------------------------- /lib/DeBruijn/CPDT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/CPDT.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Cornell.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Cornell.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Kit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Kit.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Krivine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Krivine.hs -------------------------------------------------------------------------------- /lib/DeBruijn/KrivineScoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/KrivineScoped.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Bound.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Bound.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/CPDT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/CPDT.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Cornell.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Cornell.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Kit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Kit.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Lennart.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Lennart.lhs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Lift.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Lift.lhs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Nested.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Nested.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Par/B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Par/B.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Par/Fun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Par/Fun.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Par/GB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Par/GB.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Par/L.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Par/L.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Par/P.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Par/P.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/Par/Scoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/Par/Scoped.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lazy/TAPL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lazy/TAPL.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Lennart.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lennart.lhs -------------------------------------------------------------------------------- /lib/DeBruijn/Lift.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Lift.lhs -------------------------------------------------------------------------------- /lib/DeBruijn/Nested.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Nested.hs -------------------------------------------------------------------------------- /lib/DeBruijn/NestedV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/NestedV.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Par/B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Par/B.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Par/Fun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Par/Fun.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Par/GB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Par/GB.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Par/L.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Par/L.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Par/P.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Par/P.hs -------------------------------------------------------------------------------- /lib/DeBruijn/Par/Scoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/Par/Scoped.hs -------------------------------------------------------------------------------- /lib/DeBruijn/TAPL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/DeBruijn/TAPL.hs -------------------------------------------------------------------------------- /lib/Lennart/DeBruijn.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Lennart/DeBruijn.lhs -------------------------------------------------------------------------------- /lib/Lennart/HOAS.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Lennart/HOAS.lhs -------------------------------------------------------------------------------- /lib/Lennart/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Lennart/Simple.hs -------------------------------------------------------------------------------- /lib/Lennart/SimpleOrig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Lennart/SimpleOrig.hs -------------------------------------------------------------------------------- /lib/Lennart/Unique.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Lennart/Unique.lhs -------------------------------------------------------------------------------- /lib/LocallyNameless/GenericInstOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/GenericInstOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/GenericOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/GenericOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Lazy/GenericInstOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Lazy/GenericInstOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Lazy/GenericOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Lazy/GenericOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Lazy/Opt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Lazy/Opt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Lazy/Ott.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Lazy/Ott.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Lazy/ParOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Lazy/ParOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Lazy/ParScoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Lazy/ParScoped.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Lazy/SupportOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Lazy/SupportOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Lazy/TypedOtt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Lazy/TypedOtt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Opt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Opt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/Ott.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/Ott.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/ParOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/ParOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/ParScoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/ParScoped.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/SupportInstOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/SupportInstOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/SupportOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/SupportOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/TypedOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/TypedOpt.hs -------------------------------------------------------------------------------- /lib/LocallyNameless/TypedOtt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/LocallyNameless/TypedOtt.hs -------------------------------------------------------------------------------- /lib/NBE/Aelig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/Aelig.hs -------------------------------------------------------------------------------- /lib/NBE/Boesflug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/Boesflug.hs -------------------------------------------------------------------------------- /lib/NBE/Contextual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/Contextual.hs -------------------------------------------------------------------------------- /lib/NBE/Felgenhauer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/Felgenhauer.hs -------------------------------------------------------------------------------- /lib/NBE/Kovacs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/Kovacs.hs -------------------------------------------------------------------------------- /lib/NBE/KovacsNamed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/KovacsNamed.hs -------------------------------------------------------------------------------- /lib/NBE/KovacsScoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/KovacsScoped.hs -------------------------------------------------------------------------------- /lib/NBE/KovacsScoped2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/KovacsScoped2.hs -------------------------------------------------------------------------------- /lib/NBE/Lazy/KovacsScoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/NBE/Lazy/KovacsScoped.hs -------------------------------------------------------------------------------- /lib/Named/Foil.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Foil.hs -------------------------------------------------------------------------------- /lib/Named/FoilV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/FoilV.hs -------------------------------------------------------------------------------- /lib/Named/Lazy/Foil.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Lazy/Foil.hs -------------------------------------------------------------------------------- /lib/Named/Lazy/NominalG.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Lazy/NominalG.lhs -------------------------------------------------------------------------------- /lib/Named/Lazy/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Lazy/Simple.hs -------------------------------------------------------------------------------- /lib/Named/Lazy/SimpleGH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Lazy/SimpleGH.hs -------------------------------------------------------------------------------- /lib/Named/Lazy/SimpleH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Lazy/SimpleH.hs -------------------------------------------------------------------------------- /lib/Named/Lazy/SimpleM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Lazy/SimpleM.hs -------------------------------------------------------------------------------- /lib/Named/Lennart.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Lennart.hs -------------------------------------------------------------------------------- /lib/Named/Nom.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Nom.hs -------------------------------------------------------------------------------- /lib/Named/NominalG.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/NominalG.lhs -------------------------------------------------------------------------------- /lib/Named/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Simple.hs -------------------------------------------------------------------------------- /lib/Named/SimpleGH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/SimpleGH.hs -------------------------------------------------------------------------------- /lib/Named/SimpleH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/SimpleH.hs -------------------------------------------------------------------------------- /lib/Named/SimpleM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/SimpleM.hs -------------------------------------------------------------------------------- /lib/Named/Unique.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Named/Unique.lhs -------------------------------------------------------------------------------- /lib/QuickBench.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/QuickBench.hs -------------------------------------------------------------------------------- /lib/Suite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Suite.hs -------------------------------------------------------------------------------- /lib/Support/Par/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Support/Par/Subst.hs -------------------------------------------------------------------------------- /lib/Support/Par/SubstScoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Support/Par/SubstScoped.hs -------------------------------------------------------------------------------- /lib/Support/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Support/README.md -------------------------------------------------------------------------------- /lib/Support/SubstH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Support/SubstH.hs -------------------------------------------------------------------------------- /lib/Support/SubstOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Support/SubstOpt.hs -------------------------------------------------------------------------------- /lib/Support/SubstOptRefactor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Support/SubstOptRefactor.hs -------------------------------------------------------------------------------- /lib/Support/TypedSubstOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Support/TypedSubstOpt.hs -------------------------------------------------------------------------------- /lib/Unbound/Lazy/UnboundGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Unbound/Lazy/UnboundGenerics.hs -------------------------------------------------------------------------------- /lib/Unbound/Lazy/UnboundNonGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Unbound/Lazy/UnboundNonGenerics.hs -------------------------------------------------------------------------------- /lib/Unbound/UnboundGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Unbound/UnboundGenerics.hs -------------------------------------------------------------------------------- /lib/Unbound/UnboundGenericsV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Unbound/UnboundGenericsV.hs -------------------------------------------------------------------------------- /lib/Unbound/UnboundNonGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Unbound/UnboundNonGenerics.hs -------------------------------------------------------------------------------- /lib/Unbound/UnboundNonGenericsV.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Unbound/UnboundNonGenericsV.hs -------------------------------------------------------------------------------- /lib/Util/Id.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Id.hs -------------------------------------------------------------------------------- /lib/Util/IdInt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/IdInt.hs -------------------------------------------------------------------------------- /lib/Util/IdInt/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/IdInt/Map.hs -------------------------------------------------------------------------------- /lib/Util/IdInt/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/IdInt/Set.hs -------------------------------------------------------------------------------- /lib/Util/Impl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Impl.hs -------------------------------------------------------------------------------- /lib/Util/Imports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Imports.hs -------------------------------------------------------------------------------- /lib/Util/Misc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Misc.hs -------------------------------------------------------------------------------- /lib/Util/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Nat.hs -------------------------------------------------------------------------------- /lib/Util/Perm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Perm.hs -------------------------------------------------------------------------------- /lib/Util/Stats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Stats.hs -------------------------------------------------------------------------------- /lib/Util/Syntax/DeBruijn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Syntax/DeBruijn.hs -------------------------------------------------------------------------------- /lib/Util/Syntax/Lambda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Syntax/Lambda.hs -------------------------------------------------------------------------------- /lib/Util/Syntax/Lazy/DeBruijn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Syntax/Lazy/DeBruijn.hs -------------------------------------------------------------------------------- /lib/Util/Syntax/Lazy/Lambda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Syntax/Lazy/Lambda.hs -------------------------------------------------------------------------------- /lib/Util/Syntax/Lazy/Named.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Syntax/Lazy/Named.hs -------------------------------------------------------------------------------- /lib/Util/Syntax/Lazy/ScopedDeBruijn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Syntax/Lazy/ScopedDeBruijn.hs -------------------------------------------------------------------------------- /lib/Util/Syntax/Named.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Syntax/Named.hs -------------------------------------------------------------------------------- /lib/Util/Syntax/ScopedDeBruijn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Syntax/ScopedDeBruijn.hs -------------------------------------------------------------------------------- /lib/Util/Vec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/Util/Vec.hs -------------------------------------------------------------------------------- /lib/old/Abstract/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/.DS_Store -------------------------------------------------------------------------------- /lib/old/Abstract/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/Class.hs -------------------------------------------------------------------------------- /lib/old/Abstract/ClassRevised.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/ClassRevised.hs -------------------------------------------------------------------------------- /lib/old/Abstract/DeBruijn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/DeBruijn.hs -------------------------------------------------------------------------------- /lib/old/Abstract/DeBruijnPar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/DeBruijnPar.hs -------------------------------------------------------------------------------- /lib/old/Abstract/DeBruijnPar/B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/DeBruijnPar/B.hs -------------------------------------------------------------------------------- /lib/old/Abstract/DeBruijnPar/F.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/DeBruijnPar/F.hs -------------------------------------------------------------------------------- /lib/old/Abstract/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/Simple.hs -------------------------------------------------------------------------------- /lib/old/Abstract/Unbound.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/Unbound.hs -------------------------------------------------------------------------------- /lib/old/Abstract/UnboundGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/UnboundGenerics.hs -------------------------------------------------------------------------------- /lib/old/Abstract/Unique.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Abstract/Unique.hs -------------------------------------------------------------------------------- /lib/old/BoundNonGeneric.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/BoundNonGeneric.hs -------------------------------------------------------------------------------- /lib/old/DeBruijnC.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/DeBruijnC.lhs -------------------------------------------------------------------------------- /lib/old/Deprecated/Lazy.List.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Deprecated/Lazy.List.lhs -------------------------------------------------------------------------------- /lib/old/Deprecated/Lazy.Par.FB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Deprecated/Lazy.Par.FB.hs -------------------------------------------------------------------------------- /lib/old/Deprecated/Lazy.TypedOpt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Deprecated/Lazy.TypedOpt.hs -------------------------------------------------------------------------------- /lib/old/Deprecated/List.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Deprecated/List.lhs -------------------------------------------------------------------------------- /lib/old/Deprecated/Par.FB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Deprecated/Par.FB.hs -------------------------------------------------------------------------------- /lib/old/Deprecated/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Deprecated/README.md -------------------------------------------------------------------------------- /lib/old/Kmett/IndicesAndLevels.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Kmett/IndicesAndLevels.hs -------------------------------------------------------------------------------- /lib/old/Kmett/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Kmett/Type.hs -------------------------------------------------------------------------------- /lib/old/LambdaImpl.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/LambdaImpl.lhs -------------------------------------------------------------------------------- /lib/old/LocallyNameless.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/LocallyNameless.hs -------------------------------------------------------------------------------- /lib/old/Nominal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/Nominal.hs -------------------------------------------------------------------------------- /lib/old/SimpleB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/lib/old/SimpleB.hs -------------------------------------------------------------------------------- /results/Stephanie-Weirich-MBP/autoenv/eval_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/Stephanie-Weirich-MBP/autoenv/eval_bench.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Bound-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Bound-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Bound-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Bound-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Bound-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Bound-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Bound-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Bound-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Bound-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Bound-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Bound-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Bound-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/CPDT-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/CPDT-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/CPDT-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/CPDT-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/CPDT-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/CPDT-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/CPDT-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/CPDT-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/CPDT-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/CPDT-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/CPDT-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/CPDT-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Cornell-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Cornell-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Cornell-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Cornell-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Cornell-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Cornell-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Cornell-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Cornell-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Cornell-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Cornell-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Cornell-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Cornell-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Kit-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Kit-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Kit-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Kit-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Kit-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Kit-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Kit-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Kit-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Kit-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Kit-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Kit-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Kit-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Bound-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Bound-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Bound-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Bound-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Bound-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Bound-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Bound-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Bound-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Bound-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Bound-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Bound-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Bound-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/CPDT-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/CPDT-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/CPDT-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/CPDT-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/CPDT-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/CPDT-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/CPDT-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/CPDT-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/CPDT-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/CPDT-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/CPDT-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/CPDT-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Cornell-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Cornell-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Cornell-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Cornell-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Cornell-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Cornell-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Cornell-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Cornell-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Cornell-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Cornell-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Cornell-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Cornell-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Kit-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Kit-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Kit-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Kit-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Kit-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Kit-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Kit-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Kit-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Kit-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Kit-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Kit-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Kit-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lennart-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lennart-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lennart-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lennart-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lennart-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lennart-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lennart-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lennart-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lennart-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lennart-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lennart-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lennart-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lift-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lift-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lift-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lift-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lift-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lift-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lift-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lift-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lift-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lift-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Lift-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Lift-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Nested-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Nested-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Nested-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Nested-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Nested-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Nested-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Nested-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Nested-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Nested-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Nested-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Nested-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Nested-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/B-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/B-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/B-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/B-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/B-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/B-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/B-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/B-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/B-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/B-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/B-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/B-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Fun-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Fun-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Fun-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Fun-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Fun-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Fun-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Fun-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Fun-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Fun-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Fun-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Fun-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Fun-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/GB-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/GB-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/GB-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/GB-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/GB-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/GB-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/GB-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/GB-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/GB-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/GB-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/GB-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/GB-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/L-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/L-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/L-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/L-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/L-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/L-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/L-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/L-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/L-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/L-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/L-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/L-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/P-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/P-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/P-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/P-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/P-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/P-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/P-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/P-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/P-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/P-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/P-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/P-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Scoped-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Scoped-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Scoped-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Scoped-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Scoped-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Scoped-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Scoped-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Scoped-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Scoped-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Scoped-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/Scoped-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/Scoped-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/Par/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/Par/uname.txt -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/TAPL-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/TAPL-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/TAPL-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/TAPL-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/TAPL-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/TAPL-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/TAPL-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/TAPL-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/TAPL-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/TAPL-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/TAPL-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/TAPL-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lazy/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lazy/uname.txt -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lennart-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lennart-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lennart-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lennart-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lennart-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lennart-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lennart-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lennart-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lennart-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lennart-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lennart-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lennart-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lift-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lift-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lift-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lift-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lift-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lift-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lift-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lift-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lift-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lift-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Lift-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Lift-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Nested-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Nested-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Nested-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Nested-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Nested-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Nested-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Nested-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Nested-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Nested-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Nested-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Nested-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Nested-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/B-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/B-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/B-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/B-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/B-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/B-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/B-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/B-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/B-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/B-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/B-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/B-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Fun-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Fun-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Fun-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Fun-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Fun-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Fun-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Fun-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Fun-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Fun-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Fun-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Fun-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Fun-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/GB-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/GB-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/GB-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/GB-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/GB-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/GB-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/GB-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/GB-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/GB-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/GB-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/GB-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/GB-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/L-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/L-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/L-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/L-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/L-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/L-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/L-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/L-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/L-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/L-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/L-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/L-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/P-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/P-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/P-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/P-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/P-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/P-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/P-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/P-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/P-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/P-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/P-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/P-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Scoped-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Scoped-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Scoped-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Scoped-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Scoped-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Scoped-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Scoped-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Scoped-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Scoped-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Scoped-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/Scoped-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/Scoped-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/Par/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/Par/uname.txt -------------------------------------------------------------------------------- /results/constructed/DeBruijn/TAPL-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/TAPL-adjust.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/TAPL-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/TAPL-adjust.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/TAPL-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/TAPL-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/TAPL-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/TAPL-adjustb.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/TAPL-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/TAPL-ids.csv -------------------------------------------------------------------------------- /results/constructed/DeBruijn/TAPL-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/TAPL-ids.html -------------------------------------------------------------------------------- /results/constructed/DeBruijn/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/DeBruijn/uname.txt -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/GenericOpt-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/GenericOpt-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/GenericOpt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/GenericOpt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/GenericOpt-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/GenericOpt-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-adjust.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-adjustb.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Opt-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Opt-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-adjust.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-adjustb.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/Ott-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/Ott-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/ParOpt-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/ParOpt-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/ParOpt-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/ParOpt-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/ParOpt-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/ParOpt-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/ParOpt-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/ParOpt-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/ParOpt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/ParOpt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/ParOpt-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/ParOpt-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/TypedOpt-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/TypedOpt-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/TypedOpt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/TypedOpt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/TypedOtt-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/TypedOtt-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/TypedOtt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/TypedOtt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Lazy/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Lazy/uname.txt -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-adjust.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-adjustb.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Opt-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Opt-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-adjust.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-adjustb.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/Ott-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/Ott-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-adjust.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-adjustb.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParOpt-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParOpt-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-adjust.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/ParScoped-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/ParScoped-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-adjust.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-adjustb.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-adjustb.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOpt-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOpt-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-adjust.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-adjust.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-adjustb.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-adjustb.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-capt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-capt.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/TypedOtt-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/TypedOtt-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/UGSubstBind-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/UGSubstBind-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/UnboundRep-capt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/UnboundRep-capt.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/UnboundRep-con.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/UnboundRep-con.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/UnboundRep-con.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/UnboundRep-con.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/UnboundRep-ids.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/UnboundRep-ids.csv -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/UnboundRep-ids.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/UnboundRep-ids.html -------------------------------------------------------------------------------- /results/constructed/LocallyNameless/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/constructed/LocallyNameless/uname.txt -------------------------------------------------------------------------------- /results/sixteen.local/all_impls/aeq_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/all_impls/aeq_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/all_impls/aeqs_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/all_impls/aeqs_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/all_impls/conv_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/all_impls/conv_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/all_impls/nf_bench.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/all_impls/nf_bench.csv -------------------------------------------------------------------------------- /results/sixteen.local/all_impls/nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/all_impls/nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/all_impls/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/all_impls/output.txt -------------------------------------------------------------------------------- /results/sixteen.local/all_impls/random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/all_impls/random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/all_impls/random20_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/all_impls/random20_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/db_lazy_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/db_lazy_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/db_lazy_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/db_lazy_random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/db_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/db_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/db_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/db_random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/debruijn/nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/debruijn/nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/debruijn/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/debruijn/output.txt -------------------------------------------------------------------------------- /results/sixteen.local/debruijn/random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/debruijn/random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/debruijn/random20_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/debruijn/random20_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/fast_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/fast_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/fast_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/fast_random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/hackage_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/hackage_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/hackage_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/hackage_random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/ifl_talk/nf_bench.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ifl_talk/nf_bench.csv -------------------------------------------------------------------------------- /results/sixteen.local/ifl_talk/nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ifl_talk/nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/ifl_talk/nf_bench.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ifl_talk/nf_bench.xlsx -------------------------------------------------------------------------------- /results/sixteen.local/ifl_talk/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ifl_talk/output.txt -------------------------------------------------------------------------------- /results/sixteen.local/ifl_talk/random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ifl_talk/random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/ifl_talk/random15_output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ifl_talk/random15_output.txt -------------------------------------------------------------------------------- /results/sixteen.local/ifl_talk/random20_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ifl_talk/random20_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/ifl_talk/random20_output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ifl_talk/random20_output.txt -------------------------------------------------------------------------------- /results/sixteen.local/lazy_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/lazy_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/lazy_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/lazy_random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/lennart_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/lennart_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/lennart_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/lennart_random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/ln_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ln_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/ln_opt_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ln_opt_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/ln_opt_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ln_opt_random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/ln_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/ln_random15_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/locallyNameless/nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/locallyNameless/nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/locallyNameless/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/locallyNameless/output.txt -------------------------------------------------------------------------------- /results/sixteen.local/named_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/named_nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/nf_bench.html -------------------------------------------------------------------------------- /results/sixteen.local/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/output.txt -------------------------------------------------------------------------------- /results/sixteen.local/random/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/random/output.txt -------------------------------------------------------------------------------- /results/sixteen.local/random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/sixteen.local/random15_bench.html -------------------------------------------------------------------------------- /results/zephyrus/aeq_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/aeq_bench.html -------------------------------------------------------------------------------- /results/zephyrus/aeqs_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/aeqs_bench.html -------------------------------------------------------------------------------- /results/zephyrus/all_nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/all_nf_bench.html -------------------------------------------------------------------------------- /results/zephyrus/all_random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/all_random15_bench.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Bound-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Bound-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Bound-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Bound-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/CPDT-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/CPDT-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/CPDT-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/CPDT-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Kit-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Kit-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Kit-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Kit-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Lazy/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Lazy/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Lift-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Lift-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Lift-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Lift-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/List-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/List-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/List-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/List-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Nested-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Nested-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Par/B-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Par/B-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Par/B-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Par/B-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Par/FB-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Par/FB-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Par/L-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Par/L-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Par/L-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Par/L-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Par/P-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Par/P-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Par/P-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Par/P-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/Par/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/Par/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/TAPL-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/TAPL-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/TAPL-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/TAPL-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/DeBruijn/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/DeBruijn/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/constructed/LocallyNameless/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/LocallyNameless/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/constructed/Named/NominalG-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/Named/NominalG-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/Named/NominalG-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/Named/NominalG-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/Named/SimpleH-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/Named/SimpleH-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/Named/SimpleH-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/Named/SimpleH-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/Named/SimpleM-adjust.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/Named/SimpleM-adjust.csv -------------------------------------------------------------------------------- /results/zephyrus/constructed/Named/SimpleM-adjust.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/Named/SimpleM-adjust.html -------------------------------------------------------------------------------- /results/zephyrus/constructed/Named/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/Named/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/constructed/ids_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/constructed/ids_bench.html -------------------------------------------------------------------------------- /results/zephyrus/conv_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/conv_bench.html -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Bound.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Bound.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/CPDT.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/CPDT.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Cornell.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Cornell.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Kit.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Kit.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Bound.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Bound.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/CPDT.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/CPDT.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Cornell.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Cornell.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Kit.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Kit.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Lennart.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Lennart.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Lift.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Lift.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/List.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/List.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Nested.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Nested.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Par/B.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Par/B.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Par/F.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Par/F.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Par/FB.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Par/FB.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Par/Fun.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Par/Fun.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Par/L.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Par/L.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Par/P.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Par/P.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Par/Scoped.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Par/Scoped.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/Par/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/Par/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/TAPL.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/TAPL.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lazy/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lazy/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lennart.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lennart.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Lift.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Lift.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/List.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/List.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Nested.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Nested.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Par/B.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Par/B.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Par/FB.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Par/FB.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Par/Fun.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Par/Fun.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Par/L.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Par/L.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Par/P.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Par/P.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Par/Scoped.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Par/Scoped.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/Par/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/Par/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/TAPL.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/TAPL.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/DeBruijn/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/DeBruijn/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/Opt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/Opt.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/Ott.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/Ott.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/ParOpt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/ParOpt.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/ParScoped.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/ParScoped.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/TypedOpt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/TypedOpt.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/TypedOtt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/TypedOtt.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/UnboundGenerics.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/UnboundGenerics.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/UnboundRep.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/UnboundRep.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/LocallyNameless/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/LocallyNameless/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/nf/Named/NominalG.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/Named/NominalG.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/Named/SimpleH.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/Named/SimpleH.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/Named/SimpleM.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/Named/SimpleM.csv -------------------------------------------------------------------------------- /results/zephyrus/nf/Named/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf/Named/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/nf_bench.html -------------------------------------------------------------------------------- /results/zephyrus/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/output.txt -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Bound-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Bound-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Bound-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Bound-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/CPDT-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/CPDT-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/CPDT-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/CPDT-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Cornell-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Cornell-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Cornell-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Cornell-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Kit-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Kit-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Kit-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Kit-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Bound-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Bound-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Bound-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Bound-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/CPDT-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/CPDT-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/CPDT-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/CPDT-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Cornell-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Cornell-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Cornell-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Cornell-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Kit-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Kit-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Kit-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Kit-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Lennart-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Lennart-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Lennart-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Lennart-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Lift-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Lift-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Lift-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Lift-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/List-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/List-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/List-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/List-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Nested-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Nested-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Nested-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Nested-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/B-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/B-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/B-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/B-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/F-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/F-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/F-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/F-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/FB-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/FB-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/FB-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/FB-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/L-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/L-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/L-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/L-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/P-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/P-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/P-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/P-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/Scoped-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/Scoped-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/Scoped-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/Scoped-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/Par/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/Par/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/TAPL-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/TAPL-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/TAPL-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/TAPL-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lazy/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lazy/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lennart-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lennart-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lennart-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lennart-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lift-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lift-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Lift-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Lift-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/List-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/List-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/List-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/List-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Nested-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Nested-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Nested-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Nested-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/B-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/B-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/B-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/B-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/F-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/F-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/F-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/F-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/FB-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/FB-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/FB-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/FB-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/L-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/L-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/L-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/L-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/P-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/P-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/P-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/P-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/Scoped-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/Scoped-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/Scoped-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/Scoped-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/Par/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/Par/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/TAPL-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/TAPL-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/TAPL-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/TAPL-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/DeBruijn/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/DeBruijn/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Opt-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Opt-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Opt-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Opt-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Ott-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Ott-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Ott-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Ott-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Par-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Par-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Par-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Par-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/ParOpt-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/ParOpt-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/ParOpt-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/ParOpt-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Typed-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Typed-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Typed-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Typed-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/TypedOpt-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/TypedOpt-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/TypedOpt-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/TypedOpt-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Unbound-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Unbound-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/Unbound-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/Unbound-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/LocallyNameless/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/LocallyNameless/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/random/Named/NominalG-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/Named/NominalG-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/Named/NominalG-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/Named/NominalG-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/Named/SimpleH-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/Named/SimpleH-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/Named/SimpleH-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/Named/SimpleH-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/Named/SimpleM-15.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/Named/SimpleM-15.csv -------------------------------------------------------------------------------- /results/zephyrus/random/Named/SimpleM-20.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/Named/SimpleM-20.csv -------------------------------------------------------------------------------- /results/zephyrus/random/Named/uname.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/Named/uname.txt -------------------------------------------------------------------------------- /results/zephyrus/random/foursubst_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/foursubst_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random/ids_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/ids_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random/nf_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/nf_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random/onesubst_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/onesubst_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random/output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/output.txt -------------------------------------------------------------------------------- /results/zephyrus/random/random2_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/random2_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random/random_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/random_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random/threesubst_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/threesubst_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random/twosubst_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random/twosubst_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random15_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random15_bench.html -------------------------------------------------------------------------------- /results/zephyrus/random20_bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/results/zephyrus/random20_bench.html -------------------------------------------------------------------------------- /stack-lts-14.27.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/stack-lts-14.27.yaml -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/stack.yaml -------------------------------------------------------------------------------- /tests/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sweirich/lambda-n-ways/HEAD/tests/Main.hs --------------------------------------------------------------------------------