├── .boringfile ├── INSTALL ├── LICENSE ├── Setup.hs ├── epigram.cabal ├── man └── man.html ├── models ├── Alg-IIR.agda ├── Containers.agda ├── Data.agda ├── Data1.agda ├── Desc.agda ├── Desc.v ├── DescFix.agda ├── DescStrat.agda ├── DescStrat.lhs ├── DescTT.agda ├── FMSB.agda ├── IDesc.agda ├── IDescTT.agda ├── ILabel.agda ├── IMDesc.agda ├── Prob.agda ├── README.Descriptions ├── Records.agda ├── RevisedHutton.agda └── StratSigma.agda ├── notes ├── Epigram2 │ └── Epigram2.tex └── Quotients │ ├── macros.tex │ ├── pig.sty │ └── quotients.tex ├── papers ├── containers-for-dummies │ ├── Makefile │ ├── containers.bib │ └── containers.tex ├── icfp-2010-desc │ ├── Makefile │ ├── TODO.org │ ├── figure_finite_sets.tex │ ├── figure_judgemental_equality.tex │ ├── figure_type_checking.tex │ ├── figure_type_synthesis.tex │ ├── figure_typing_judgements.tex │ ├── flushend.sty │ ├── icfp23l-dagand.pdf │ ├── icfp23l-dagand.ps │ ├── icfp23l-dagand.tex │ ├── macros.tex │ ├── outline.tex │ ├── paper.bib │ ├── paper.tex │ ├── paper_desc.tex │ ├── paper_desc_levitation.tex │ ├── paper_discussion.tex │ ├── paper_idesc.tex │ ├── paper_type_theory.tex │ ├── pig.sty │ ├── propagation.tex │ ├── sigplanconf.cls │ └── type_theory.tex ├── icfp-2010-talk │ ├── Levitation.agda │ ├── Makefile │ ├── levitation.pdf │ ├── levitation.tex │ ├── macros.tex │ └── pig.sty ├── someconf-sometime-binding │ └── paper.tex ├── stratisfaction │ ├── Macros.tex │ ├── Makefile │ ├── figure_annotated.tex │ ├── figure_bidir.tex │ ├── figure_ecce.tex │ ├── figure_infuse.tex │ ├── figure_strat.tex │ ├── paper.tex │ ├── pig.sty │ ├── sigplanconf.cls │ └── stratisfaction.bib ├── type-inference │ ├── Makefile │ ├── abstract.ltx │ ├── lib-short.bib │ ├── lib.bib │ ├── macros.tex │ ├── proof-scratch.lhs │ ├── scratch.lhs │ ├── sigplanconf.cls │ ├── statement.lhs │ ├── traversable.lhs │ ├── type-inference-final.lhs │ ├── type-inference-revised.lhs │ └── type-inference.lhs └── ydtm-rev │ ├── Makefile │ ├── alti.bib │ ├── fontlock.sty │ ├── fundam.bst │ ├── fundam.cls │ ├── handy.bib │ ├── library.ltx │ ├── local.bib │ ├── macros.ltx │ ├── obsdec.bib │ ├── ydtm-rev.tex │ └── ydtm.bib ├── pigmode.el ├── send-line.el ├── src ├── Cochon │ ├── Cochon.lhs │ ├── CommandLexer.lhs │ ├── DevLoad.lhs │ ├── Error.lhs │ └── Introduction.tex ├── Compiler │ ├── Compiler.lhs │ ├── Introduction.tex │ └── OpDef.lhs ├── Detritus │ ├── Cochon.lhs │ ├── Construction.lhs │ ├── Containers.lhs │ ├── DevLoad.lhs │ ├── DisplayMangler.lhs │ ├── DisplayTm.lhs │ ├── Elaborator.lhs │ ├── Elaborator2.lhs │ ├── Features.lhs │ ├── Fibonacci.pig │ ├── Foo.pig │ ├── IDesc.lhs │ ├── IDescOld.lhs │ ├── INu.lhs │ ├── Induction.lhs │ ├── Language.tex │ ├── Main.lhs │ ├── MakeElab.lhs │ ├── Mangler.lhs │ ├── Naming.lhs │ ├── Nat.lhs │ ├── PrettyPrint.lhs │ ├── ProofState.lhs │ ├── PropSimp.lhs │ ├── Relabel.lhs │ ├── RunElab.lhs │ ├── Tactics.lhs │ ├── Tactics.lhs-boot │ ├── TmParse.lhs │ └── Update.lhs ├── DisplayLang │ ├── DisplayTm.lhs │ ├── Introduction.lhs │ ├── Lexer.lhs │ ├── Name.lhs │ ├── PrettyPrint.lhs │ ├── Scheme.lhs │ └── TmParse.lhs ├── Distillation │ ├── Distiller.lhs │ ├── Moonshine.lhs │ └── Scheme.lhs ├── Documentation │ ├── Introduction.tex │ ├── Language.tex │ ├── Macros.tex │ └── wrap.tex ├── Elaboration │ ├── ElabMonad.lhs │ ├── ElabProb.lhs │ ├── Elaborator.lhs │ ├── MakeElab.lhs │ ├── RunElab.lhs │ ├── Scheduler.lhs │ ├── Wire.lhs │ └── Wire.lhs-boot ├── Epitome.bib ├── Epitome.lhs ├── Evidences │ ├── BetaQuotation.lhs │ ├── BetaQuotation.lhs-boot │ ├── DefinitionalEquality.lhs │ ├── DefinitionalEquality.lhs-boot │ ├── Eval.lhs │ ├── Eval.lhs-boot │ ├── Introduction.tex │ ├── Mangler.lhs │ ├── OperatorDSL.lhs │ ├── Operators.lhs │ ├── PropositionalEquality.lhs │ ├── PropositionalEquality.lhs-boot │ ├── Tm.lhs │ ├── TypeChecker.lhs │ └── Utilities.lhs ├── Features │ ├── Anchor.lhs │ ├── Desc.lhs │ ├── Enum.lhs │ ├── Equality.lhs │ ├── Features.lhs │ ├── FreeMonad.lhs │ ├── IDesc.lhs │ ├── Introduction.tex │ ├── Labelled.lhs │ ├── Nu.lhs │ ├── Problem.lhs │ ├── Prop.lhs │ ├── Quotient.lhs │ ├── Record.lhs │ ├── Sigma.lhs │ ├── Skeleton.lhs │ └── UId.lhs ├── Kit │ ├── BwdFwd.lhs │ ├── MissingLibrary.lhs │ ├── Parsley.lhs │ └── Trace.lhs ├── Main.lhs ├── Makefile ├── NameSupply │ ├── Introduction.tex │ ├── NameSupplier.lhs │ └── NameSupply.lhs ├── ProofState │ ├── Edition │ │ ├── Entries.lhs │ │ ├── FakeRef.lhs │ │ ├── GetSet.lhs │ │ ├── Navigation.lhs │ │ ├── NavigationExamples.tex │ │ ├── News.lhs │ │ ├── ProofContext.lhs │ │ ├── ProofState.lhs │ │ └── Scope.lhs │ ├── Interface │ │ ├── Anchor.lhs │ │ ├── Definition.lhs │ │ ├── Lifting.lhs │ │ ├── Module.lhs │ │ ├── Name.lhs │ │ ├── NameResolution.lhs │ │ ├── Parameter.lhs │ │ ├── ProofKit.lhs │ │ ├── Search.lhs │ │ └── Solving.lhs │ ├── Introduction.tex │ └── Structure │ │ ├── Developments.lhs │ │ └── Entries.lhs ├── SourceLang │ ├── Elaborator.lhs │ ├── Example.lhs │ ├── Parser.lhs │ └── Structure.lhs ├── Tactics │ ├── Data.lhs │ ├── Elimination.lhs │ ├── Gadgets.lhs │ ├── IData.lhs │ ├── Information.lhs │ ├── Introduction.tex │ ├── Matching.lhs │ ├── ProblemSimplify.lhs │ ├── PropositionSimplify.lhs │ ├── Record.lhs │ ├── Relabel.lhs │ ├── ShowHaskell.lhs │ └── Unification.lhs ├── Tests │ ├── CochonNat.lhs │ ├── DevLoad.lhs │ ├── Elim.lhs │ ├── Lexer.lhs │ ├── MkRef.lhs │ ├── Tactics.lhs │ └── TmParse.lhs ├── epic │ └── support.e ├── manfnt.sty ├── pig.sty ├── polycode.fmt └── stuff.fmt ├── test ├── Ackermann.pig ├── Ackermann2.pig ├── Baz.pig ├── Both.dev ├── Both.pig ├── BugBoxSum.pig ├── BugDescLoop.pig ├── BugEqgreenMu.pig ├── BugEqgreenMu2.pig ├── BugFakeType.pig ├── BugGoalUnification.pig ├── BugInduction.pig ├── BugLabelLookup.pig ├── BugLetDependent.pig ├── BugLetLambda.pig ├── BugLetOperator.pig ├── BugModuleRelabel.pig ├── BugNameOrder.pig ├── BugNatDesc.pig ├── BugSubstEq.pig ├── BugUnliftedScheme.pig ├── Cat.pig ├── Cat.pig.disabled ├── DataDecl.pig ├── Demo.pig ├── Demo.pig.disabled ├── DescFix.pig ├── DescFix.pig.disabled ├── Differentiation.pig ├── Elab.pig ├── Elim.pig ├── Elim1.pig ├── Elim2.pig ├── Elim3.pig ├── ElimEquality.pig ├── ElimSplit.pig ├── ElimSwitch.pig ├── Empty.pig ├── FeatureMultiInduction.pig ├── Fibonacci.pig ├── Fin.pig ├── Fin.pig.disabled ├── Foo.dev ├── Foo.pig ├── GenericCase.pig ├── HigherHole.pig ├── IData.pig ├── IDescFix.pig ├── IDescFix.pig.disabled ├── Image.pig ├── LabelledNat.pig ├── LambdaCalculus.pig ├── Let.pig ├── LetAdd.pig ├── LetAdd2.pig ├── LetAdd2.pig.disabled ├── LetMul.pig ├── LetVec.pig ├── Levitation.pig ├── List.pig ├── MapSimp.pig ├── Module.dev ├── Module.pig ├── Monad.pig ├── Naming.pig ├── NamingSchemes.pig ├── Nat.pig ├── Nat2.pig ├── Nat3.pig ├── NatDev.dev ├── NatDev.pig ├── NatDev.pig.disabled ├── NatElim.pig ├── NatElim.pig.disabled ├── NatInd.pig ├── NatInd.pig.disabled ├── NatLElim.pig ├── NatLElim.pig.disabled ├── Navigation.dev ├── Navigation.pig ├── NiceInductionPrinciple.pig ├── Partial.dev ├── Partial.pig ├── Pi.dev ├── Pi.pig ├── Plus.pig ├── Pretty.pig ├── Pretty2.dev ├── Pretty2.pig ├── ProgramNat.pig ├── PropSimp.pig ├── Quotient.pig ├── Record.pig ├── Script.pig ├── Shared.dev ├── Shared.pig ├── SimpleIInduction.pig ├── So.pig ├── Solution.pig ├── Sort.pig ├── Sort.pig.disabled ├── Stream.pig ├── Syntax.pig ├── TaggedInduction.pig ├── TestAnchor.pig ├── TestDesc.pig ├── UnifDeep.Pig ├── UnorderedPairs.pig ├── Vec.pig ├── VecAppend.pig ├── VecAppend.pig.disabled ├── VecAppend2.pig ├── VecAppend2.pig.disabled ├── VecAppend3.pig ├── VecAppend3.pig.disabled ├── VecAppend4.pig ├── VecAppend4.pig.disabled ├── hpc.sh ├── opSimp.pig ├── recbug.pig ├── report_stats.sh ├── results │ ├── Ackermann.pig.log │ ├── Ackermann2.pig.log │ ├── Baz.pig.log │ ├── Both.pig.log │ ├── BugBoxSum.pig.log │ ├── BugDescLoop.pig.log │ ├── BugEqgreenMu.pig.log │ ├── BugEqgreenMu2.pig.log │ ├── BugFakeType.pig.log │ ├── BugGoalUnification.pig.log │ ├── BugInduction.pig.log │ ├── BugLabelLookup.pig.log │ ├── BugLetDependent.pig.log │ ├── BugLetLambda.pig.log │ ├── BugLetOperator.pig.log │ ├── BugModuleRelabel.pig.log │ ├── BugNameOrder.pig.log │ ├── BugNatDesc.pig.log │ ├── BugUnliftedScheme.pig.log │ ├── DataDecl.pig.log │ ├── Demo.pig.log │ ├── DescFix.pig.log │ ├── Differentiation.pig.log │ ├── Elab.pig.log │ ├── Elim.pig.log │ ├── Elim1.pig.log │ ├── Elim2.pig.log │ ├── Elim3.pig.log │ ├── ElimEquality.pig.log │ ├── ElimSplit.pig.log │ ├── ElimSwitch.pig.log │ ├── Empty.pig.log │ ├── FeatureMultiInduction.pig.log │ ├── Fibonacci.pig.log │ ├── Foo.pig.log │ ├── GenericCase.pig.log │ ├── HigherHole.pig.log │ ├── IData.pig.log │ ├── IDescFix.pig.log │ ├── Image.pig.log │ ├── LabelledNat.pig.log │ ├── LambdaCalculus.pig.log │ ├── Let.pig.log │ ├── LetAdd.pig.log │ ├── LetAdd2.pig.log │ ├── LetMul.pig.log │ ├── LetVec.pig.log │ ├── List.pig.log │ ├── MapSimp.pig.log │ ├── Module.pig.log │ ├── Monad.pig.log │ ├── Naming.pig.log │ ├── NamingSchemes.pig.log │ ├── Nat.pig.log │ ├── Nat2.pig.log │ ├── Nat3.pig.log │ ├── NatDev.pig.log │ ├── NatElim.pig.log │ ├── NatInd.pig.log │ ├── NatLElim.pig.log │ ├── Navigation.pig.log │ ├── NiceInductionPrinciple.pig.log │ ├── Partial.pig.log │ ├── Pi.pig.log │ ├── Plus.pig.log │ ├── Pretty.pig.log │ ├── Pretty2.pig.log │ ├── ProgramNat.pig.log │ ├── PropSimp.pig.log │ ├── Quotient.pig.log │ ├── Record.pig.log │ ├── Script.pig.log │ ├── Shared.pig.log │ ├── SimpleIInduction.pig.log │ ├── So.pig.log │ ├── Solution.pig.log │ ├── Sort.pig.log │ ├── Stream.pig.log │ ├── Syntax.pig.log │ ├── TaggedInduction.pig.log │ ├── TestAnchor.pig.log │ ├── TestDesc.pig.log │ ├── UnifDeep.pig.log │ ├── UnorderedPairs.pig.log │ ├── Vec.pig.log │ ├── VecAppend.pig.log │ ├── VecAppend2.pig.log │ ├── VecAppend3.pig.log │ ├── VecAppend4.pig.log │ ├── opSimp.pig.log │ └── recbug.pig.log ├── stats.sh └── test.sh └── web ├── community.html ├── default.css ├── docs.html ├── download.html ├── images ├── img01.gif ├── img02.gif ├── img03.gif ├── img04.jpg ├── img05.gif ├── img06.gif ├── img07.gif ├── img08.gif ├── img09.gif └── img10.gif ├── index.html ├── index.old.html ├── reportbug.html └── style.css /.boringfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/.boringfile -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/INSTALL -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/LICENSE -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/Setup.hs -------------------------------------------------------------------------------- /epigram.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/epigram.cabal -------------------------------------------------------------------------------- /man/man.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/man/man.html -------------------------------------------------------------------------------- /models/Alg-IIR.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/Alg-IIR.agda -------------------------------------------------------------------------------- /models/Containers.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/Containers.agda -------------------------------------------------------------------------------- /models/Data.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/Data.agda -------------------------------------------------------------------------------- /models/Data1.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/Data1.agda -------------------------------------------------------------------------------- /models/Desc.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/Desc.agda -------------------------------------------------------------------------------- /models/Desc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/Desc.v -------------------------------------------------------------------------------- /models/DescFix.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/DescFix.agda -------------------------------------------------------------------------------- /models/DescStrat.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/DescStrat.agda -------------------------------------------------------------------------------- /models/DescStrat.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/DescStrat.lhs -------------------------------------------------------------------------------- /models/DescTT.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/DescTT.agda -------------------------------------------------------------------------------- /models/FMSB.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/FMSB.agda -------------------------------------------------------------------------------- /models/IDesc.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/IDesc.agda -------------------------------------------------------------------------------- /models/IDescTT.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/IDescTT.agda -------------------------------------------------------------------------------- /models/ILabel.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/ILabel.agda -------------------------------------------------------------------------------- /models/IMDesc.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/IMDesc.agda -------------------------------------------------------------------------------- /models/Prob.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/Prob.agda -------------------------------------------------------------------------------- /models/README.Descriptions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/README.Descriptions -------------------------------------------------------------------------------- /models/Records.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/Records.agda -------------------------------------------------------------------------------- /models/RevisedHutton.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/RevisedHutton.agda -------------------------------------------------------------------------------- /models/StratSigma.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/models/StratSigma.agda -------------------------------------------------------------------------------- /notes/Epigram2/Epigram2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/notes/Epigram2/Epigram2.tex -------------------------------------------------------------------------------- /notes/Quotients/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/notes/Quotients/macros.tex -------------------------------------------------------------------------------- /notes/Quotients/pig.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/notes/Quotients/pig.sty -------------------------------------------------------------------------------- /notes/Quotients/quotients.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/notes/Quotients/quotients.tex -------------------------------------------------------------------------------- /papers/containers-for-dummies/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/containers-for-dummies/Makefile -------------------------------------------------------------------------------- /papers/containers-for-dummies/containers.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/containers-for-dummies/containers.bib -------------------------------------------------------------------------------- /papers/containers-for-dummies/containers.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/containers-for-dummies/containers.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/Makefile -------------------------------------------------------------------------------- /papers/icfp-2010-desc/TODO.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/TODO.org -------------------------------------------------------------------------------- /papers/icfp-2010-desc/figure_finite_sets.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/figure_finite_sets.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/figure_judgemental_equality.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/figure_judgemental_equality.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/figure_type_checking.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/figure_type_checking.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/figure_type_synthesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/figure_type_synthesis.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/figure_typing_judgements.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/figure_typing_judgements.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/flushend.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/flushend.sty -------------------------------------------------------------------------------- /papers/icfp-2010-desc/icfp23l-dagand.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/icfp23l-dagand.pdf -------------------------------------------------------------------------------- /papers/icfp-2010-desc/icfp23l-dagand.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/icfp23l-dagand.ps -------------------------------------------------------------------------------- /papers/icfp-2010-desc/icfp23l-dagand.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/icfp23l-dagand.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/macros.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/outline.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/outline.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/paper.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/paper.bib -------------------------------------------------------------------------------- /papers/icfp-2010-desc/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/paper.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/paper_desc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/paper_desc.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/paper_desc_levitation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/paper_desc_levitation.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/paper_discussion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/paper_discussion.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/paper_idesc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/paper_idesc.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/paper_type_theory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/paper_type_theory.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/pig.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/pig.sty -------------------------------------------------------------------------------- /papers/icfp-2010-desc/propagation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/propagation.tex -------------------------------------------------------------------------------- /papers/icfp-2010-desc/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/sigplanconf.cls -------------------------------------------------------------------------------- /papers/icfp-2010-desc/type_theory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-desc/type_theory.tex -------------------------------------------------------------------------------- /papers/icfp-2010-talk/Levitation.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-talk/Levitation.agda -------------------------------------------------------------------------------- /papers/icfp-2010-talk/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-talk/Makefile -------------------------------------------------------------------------------- /papers/icfp-2010-talk/levitation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-talk/levitation.pdf -------------------------------------------------------------------------------- /papers/icfp-2010-talk/levitation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-talk/levitation.tex -------------------------------------------------------------------------------- /papers/icfp-2010-talk/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-talk/macros.tex -------------------------------------------------------------------------------- /papers/icfp-2010-talk/pig.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/icfp-2010-talk/pig.sty -------------------------------------------------------------------------------- /papers/someconf-sometime-binding/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/someconf-sometime-binding/paper.tex -------------------------------------------------------------------------------- /papers/stratisfaction/Macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/Macros.tex -------------------------------------------------------------------------------- /papers/stratisfaction/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/Makefile -------------------------------------------------------------------------------- /papers/stratisfaction/figure_annotated.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/figure_annotated.tex -------------------------------------------------------------------------------- /papers/stratisfaction/figure_bidir.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/figure_bidir.tex -------------------------------------------------------------------------------- /papers/stratisfaction/figure_ecce.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/figure_ecce.tex -------------------------------------------------------------------------------- /papers/stratisfaction/figure_infuse.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/figure_infuse.tex -------------------------------------------------------------------------------- /papers/stratisfaction/figure_strat.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/figure_strat.tex -------------------------------------------------------------------------------- /papers/stratisfaction/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/paper.tex -------------------------------------------------------------------------------- /papers/stratisfaction/pig.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/pig.sty -------------------------------------------------------------------------------- /papers/stratisfaction/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/sigplanconf.cls -------------------------------------------------------------------------------- /papers/stratisfaction/stratisfaction.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/stratisfaction/stratisfaction.bib -------------------------------------------------------------------------------- /papers/type-inference/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/Makefile -------------------------------------------------------------------------------- /papers/type-inference/abstract.ltx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/abstract.ltx -------------------------------------------------------------------------------- /papers/type-inference/lib-short.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/lib-short.bib -------------------------------------------------------------------------------- /papers/type-inference/lib.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/lib.bib -------------------------------------------------------------------------------- /papers/type-inference/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/macros.tex -------------------------------------------------------------------------------- /papers/type-inference/proof-scratch.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/proof-scratch.lhs -------------------------------------------------------------------------------- /papers/type-inference/scratch.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/scratch.lhs -------------------------------------------------------------------------------- /papers/type-inference/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/sigplanconf.cls -------------------------------------------------------------------------------- /papers/type-inference/statement.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/statement.lhs -------------------------------------------------------------------------------- /papers/type-inference/traversable.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/traversable.lhs -------------------------------------------------------------------------------- /papers/type-inference/type-inference-final.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/type-inference-final.lhs -------------------------------------------------------------------------------- /papers/type-inference/type-inference-revised.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/type-inference-revised.lhs -------------------------------------------------------------------------------- /papers/type-inference/type-inference.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/type-inference/type-inference.lhs -------------------------------------------------------------------------------- /papers/ydtm-rev/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/Makefile -------------------------------------------------------------------------------- /papers/ydtm-rev/alti.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/alti.bib -------------------------------------------------------------------------------- /papers/ydtm-rev/fontlock.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/fontlock.sty -------------------------------------------------------------------------------- /papers/ydtm-rev/fundam.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/fundam.bst -------------------------------------------------------------------------------- /papers/ydtm-rev/fundam.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/fundam.cls -------------------------------------------------------------------------------- /papers/ydtm-rev/handy.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/handy.bib -------------------------------------------------------------------------------- /papers/ydtm-rev/library.ltx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/library.ltx -------------------------------------------------------------------------------- /papers/ydtm-rev/local.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/local.bib -------------------------------------------------------------------------------- /papers/ydtm-rev/macros.ltx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/macros.ltx -------------------------------------------------------------------------------- /papers/ydtm-rev/obsdec.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/obsdec.bib -------------------------------------------------------------------------------- /papers/ydtm-rev/ydtm-rev.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/ydtm-rev.tex -------------------------------------------------------------------------------- /papers/ydtm-rev/ydtm.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/papers/ydtm-rev/ydtm.bib -------------------------------------------------------------------------------- /pigmode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/pigmode.el -------------------------------------------------------------------------------- /send-line.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/send-line.el -------------------------------------------------------------------------------- /src/Cochon/Cochon.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Cochon/Cochon.lhs -------------------------------------------------------------------------------- /src/Cochon/CommandLexer.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Cochon/CommandLexer.lhs -------------------------------------------------------------------------------- /src/Cochon/DevLoad.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Cochon/DevLoad.lhs -------------------------------------------------------------------------------- /src/Cochon/Error.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Cochon/Error.lhs -------------------------------------------------------------------------------- /src/Cochon/Introduction.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/Compiler/Compiler.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Compiler/Compiler.lhs -------------------------------------------------------------------------------- /src/Compiler/Introduction.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/Compiler/OpDef.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Compiler/OpDef.lhs -------------------------------------------------------------------------------- /src/Detritus/Cochon.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Cochon.lhs -------------------------------------------------------------------------------- /src/Detritus/Construction.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Construction.lhs -------------------------------------------------------------------------------- /src/Detritus/Containers.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Containers.lhs -------------------------------------------------------------------------------- /src/Detritus/DevLoad.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/DevLoad.lhs -------------------------------------------------------------------------------- /src/Detritus/DisplayMangler.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/DisplayMangler.lhs -------------------------------------------------------------------------------- /src/Detritus/DisplayTm.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/DisplayTm.lhs -------------------------------------------------------------------------------- /src/Detritus/Elaborator.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Elaborator.lhs -------------------------------------------------------------------------------- /src/Detritus/Elaborator2.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Elaborator2.lhs -------------------------------------------------------------------------------- /src/Detritus/Features.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Features.lhs -------------------------------------------------------------------------------- /src/Detritus/Fibonacci.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Fibonacci.pig -------------------------------------------------------------------------------- /src/Detritus/Foo.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Foo.pig -------------------------------------------------------------------------------- /src/Detritus/IDesc.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/IDesc.lhs -------------------------------------------------------------------------------- /src/Detritus/IDescOld.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/IDescOld.lhs -------------------------------------------------------------------------------- /src/Detritus/INu.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/INu.lhs -------------------------------------------------------------------------------- /src/Detritus/Induction.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Induction.lhs -------------------------------------------------------------------------------- /src/Detritus/Language.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Language.tex -------------------------------------------------------------------------------- /src/Detritus/Main.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Main.lhs -------------------------------------------------------------------------------- /src/Detritus/MakeElab.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/MakeElab.lhs -------------------------------------------------------------------------------- /src/Detritus/Mangler.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Mangler.lhs -------------------------------------------------------------------------------- /src/Detritus/Naming.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Naming.lhs -------------------------------------------------------------------------------- /src/Detritus/Nat.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Nat.lhs -------------------------------------------------------------------------------- /src/Detritus/PrettyPrint.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/PrettyPrint.lhs -------------------------------------------------------------------------------- /src/Detritus/ProofState.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/ProofState.lhs -------------------------------------------------------------------------------- /src/Detritus/PropSimp.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/PropSimp.lhs -------------------------------------------------------------------------------- /src/Detritus/Relabel.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Relabel.lhs -------------------------------------------------------------------------------- /src/Detritus/RunElab.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/RunElab.lhs -------------------------------------------------------------------------------- /src/Detritus/Tactics.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Tactics.lhs -------------------------------------------------------------------------------- /src/Detritus/Tactics.lhs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Tactics.lhs-boot -------------------------------------------------------------------------------- /src/Detritus/TmParse.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/TmParse.lhs -------------------------------------------------------------------------------- /src/Detritus/Update.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Detritus/Update.lhs -------------------------------------------------------------------------------- /src/DisplayLang/DisplayTm.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/DisplayLang/DisplayTm.lhs -------------------------------------------------------------------------------- /src/DisplayLang/Introduction.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/DisplayLang/Introduction.lhs -------------------------------------------------------------------------------- /src/DisplayLang/Lexer.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/DisplayLang/Lexer.lhs -------------------------------------------------------------------------------- /src/DisplayLang/Name.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/DisplayLang/Name.lhs -------------------------------------------------------------------------------- /src/DisplayLang/PrettyPrint.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/DisplayLang/PrettyPrint.lhs -------------------------------------------------------------------------------- /src/DisplayLang/Scheme.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/DisplayLang/Scheme.lhs -------------------------------------------------------------------------------- /src/DisplayLang/TmParse.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/DisplayLang/TmParse.lhs -------------------------------------------------------------------------------- /src/Distillation/Distiller.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Distillation/Distiller.lhs -------------------------------------------------------------------------------- /src/Distillation/Moonshine.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Distillation/Moonshine.lhs -------------------------------------------------------------------------------- /src/Distillation/Scheme.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Distillation/Scheme.lhs -------------------------------------------------------------------------------- /src/Documentation/Introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Documentation/Introduction.tex -------------------------------------------------------------------------------- /src/Documentation/Language.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Documentation/Language.tex -------------------------------------------------------------------------------- /src/Documentation/Macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Documentation/Macros.tex -------------------------------------------------------------------------------- /src/Documentation/wrap.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Documentation/wrap.tex -------------------------------------------------------------------------------- /src/Elaboration/ElabMonad.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Elaboration/ElabMonad.lhs -------------------------------------------------------------------------------- /src/Elaboration/ElabProb.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Elaboration/ElabProb.lhs -------------------------------------------------------------------------------- /src/Elaboration/Elaborator.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Elaboration/Elaborator.lhs -------------------------------------------------------------------------------- /src/Elaboration/MakeElab.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Elaboration/MakeElab.lhs -------------------------------------------------------------------------------- /src/Elaboration/RunElab.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Elaboration/RunElab.lhs -------------------------------------------------------------------------------- /src/Elaboration/Scheduler.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Elaboration/Scheduler.lhs -------------------------------------------------------------------------------- /src/Elaboration/Wire.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Elaboration/Wire.lhs -------------------------------------------------------------------------------- /src/Elaboration/Wire.lhs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Elaboration/Wire.lhs-boot -------------------------------------------------------------------------------- /src/Epitome.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Epitome.bib -------------------------------------------------------------------------------- /src/Epitome.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Epitome.lhs -------------------------------------------------------------------------------- /src/Evidences/BetaQuotation.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/BetaQuotation.lhs -------------------------------------------------------------------------------- /src/Evidences/BetaQuotation.lhs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/BetaQuotation.lhs-boot -------------------------------------------------------------------------------- /src/Evidences/DefinitionalEquality.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/DefinitionalEquality.lhs -------------------------------------------------------------------------------- /src/Evidences/DefinitionalEquality.lhs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/DefinitionalEquality.lhs-boot -------------------------------------------------------------------------------- /src/Evidences/Eval.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/Eval.lhs -------------------------------------------------------------------------------- /src/Evidences/Eval.lhs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/Eval.lhs-boot -------------------------------------------------------------------------------- /src/Evidences/Introduction.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/Evidences/Mangler.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/Mangler.lhs -------------------------------------------------------------------------------- /src/Evidences/OperatorDSL.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/OperatorDSL.lhs -------------------------------------------------------------------------------- /src/Evidences/Operators.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/Operators.lhs -------------------------------------------------------------------------------- /src/Evidences/PropositionalEquality.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/PropositionalEquality.lhs -------------------------------------------------------------------------------- /src/Evidences/PropositionalEquality.lhs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/PropositionalEquality.lhs-boot -------------------------------------------------------------------------------- /src/Evidences/Tm.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/Tm.lhs -------------------------------------------------------------------------------- /src/Evidences/TypeChecker.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/TypeChecker.lhs -------------------------------------------------------------------------------- /src/Evidences/Utilities.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Evidences/Utilities.lhs -------------------------------------------------------------------------------- /src/Features/Anchor.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Anchor.lhs -------------------------------------------------------------------------------- /src/Features/Desc.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Desc.lhs -------------------------------------------------------------------------------- /src/Features/Enum.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Enum.lhs -------------------------------------------------------------------------------- /src/Features/Equality.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Equality.lhs -------------------------------------------------------------------------------- /src/Features/Features.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Features.lhs -------------------------------------------------------------------------------- /src/Features/FreeMonad.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/FreeMonad.lhs -------------------------------------------------------------------------------- /src/Features/IDesc.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/IDesc.lhs -------------------------------------------------------------------------------- /src/Features/Introduction.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/Features/Labelled.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Labelled.lhs -------------------------------------------------------------------------------- /src/Features/Nu.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Nu.lhs -------------------------------------------------------------------------------- /src/Features/Problem.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Problem.lhs -------------------------------------------------------------------------------- /src/Features/Prop.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Prop.lhs -------------------------------------------------------------------------------- /src/Features/Quotient.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Quotient.lhs -------------------------------------------------------------------------------- /src/Features/Record.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Record.lhs -------------------------------------------------------------------------------- /src/Features/Sigma.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Sigma.lhs -------------------------------------------------------------------------------- /src/Features/Skeleton.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/Skeleton.lhs -------------------------------------------------------------------------------- /src/Features/UId.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Features/UId.lhs -------------------------------------------------------------------------------- /src/Kit/BwdFwd.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Kit/BwdFwd.lhs -------------------------------------------------------------------------------- /src/Kit/MissingLibrary.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Kit/MissingLibrary.lhs -------------------------------------------------------------------------------- /src/Kit/Parsley.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Kit/Parsley.lhs -------------------------------------------------------------------------------- /src/Kit/Trace.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Kit/Trace.lhs -------------------------------------------------------------------------------- /src/Main.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Main.lhs -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/NameSupply/Introduction.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/NameSupply/NameSupplier.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/NameSupply/NameSupplier.lhs -------------------------------------------------------------------------------- /src/NameSupply/NameSupply.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/NameSupply/NameSupply.lhs -------------------------------------------------------------------------------- /src/ProofState/Edition/Entries.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/Entries.lhs -------------------------------------------------------------------------------- /src/ProofState/Edition/FakeRef.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/FakeRef.lhs -------------------------------------------------------------------------------- /src/ProofState/Edition/GetSet.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/GetSet.lhs -------------------------------------------------------------------------------- /src/ProofState/Edition/Navigation.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/Navigation.lhs -------------------------------------------------------------------------------- /src/ProofState/Edition/NavigationExamples.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/NavigationExamples.tex -------------------------------------------------------------------------------- /src/ProofState/Edition/News.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/News.lhs -------------------------------------------------------------------------------- /src/ProofState/Edition/ProofContext.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/ProofContext.lhs -------------------------------------------------------------------------------- /src/ProofState/Edition/ProofState.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/ProofState.lhs -------------------------------------------------------------------------------- /src/ProofState/Edition/Scope.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Edition/Scope.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/Anchor.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/Anchor.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/Definition.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/Definition.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/Lifting.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/Lifting.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/Module.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/Module.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/Name.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/Name.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/NameResolution.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/NameResolution.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/Parameter.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/Parameter.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/ProofKit.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/ProofKit.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/Search.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/Search.lhs -------------------------------------------------------------------------------- /src/ProofState/Interface/Solving.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Interface/Solving.lhs -------------------------------------------------------------------------------- /src/ProofState/Introduction.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/ProofState/Structure/Developments.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Structure/Developments.lhs -------------------------------------------------------------------------------- /src/ProofState/Structure/Entries.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/ProofState/Structure/Entries.lhs -------------------------------------------------------------------------------- /src/SourceLang/Elaborator.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/SourceLang/Elaborator.lhs -------------------------------------------------------------------------------- /src/SourceLang/Example.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/SourceLang/Example.lhs -------------------------------------------------------------------------------- /src/SourceLang/Parser.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/SourceLang/Parser.lhs -------------------------------------------------------------------------------- /src/SourceLang/Structure.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/SourceLang/Structure.lhs -------------------------------------------------------------------------------- /src/Tactics/Data.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/Data.lhs -------------------------------------------------------------------------------- /src/Tactics/Elimination.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/Elimination.lhs -------------------------------------------------------------------------------- /src/Tactics/Gadgets.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/Gadgets.lhs -------------------------------------------------------------------------------- /src/Tactics/IData.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/IData.lhs -------------------------------------------------------------------------------- /src/Tactics/Information.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/Information.lhs -------------------------------------------------------------------------------- /src/Tactics/Introduction.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/Tactics/Matching.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/Matching.lhs -------------------------------------------------------------------------------- /src/Tactics/ProblemSimplify.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/ProblemSimplify.lhs -------------------------------------------------------------------------------- /src/Tactics/PropositionSimplify.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/PropositionSimplify.lhs -------------------------------------------------------------------------------- /src/Tactics/Record.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/Record.lhs -------------------------------------------------------------------------------- /src/Tactics/Relabel.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/Relabel.lhs -------------------------------------------------------------------------------- /src/Tactics/ShowHaskell.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/ShowHaskell.lhs -------------------------------------------------------------------------------- /src/Tactics/Unification.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tactics/Unification.lhs -------------------------------------------------------------------------------- /src/Tests/CochonNat.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tests/CochonNat.lhs -------------------------------------------------------------------------------- /src/Tests/DevLoad.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tests/DevLoad.lhs -------------------------------------------------------------------------------- /src/Tests/Elim.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tests/Elim.lhs -------------------------------------------------------------------------------- /src/Tests/Lexer.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tests/Lexer.lhs -------------------------------------------------------------------------------- /src/Tests/MkRef.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tests/MkRef.lhs -------------------------------------------------------------------------------- /src/Tests/Tactics.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tests/Tactics.lhs -------------------------------------------------------------------------------- /src/Tests/TmParse.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/Tests/TmParse.lhs -------------------------------------------------------------------------------- /src/epic/support.e: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/epic/support.e -------------------------------------------------------------------------------- /src/manfnt.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/manfnt.sty -------------------------------------------------------------------------------- /src/pig.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/pig.sty -------------------------------------------------------------------------------- /src/polycode.fmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/polycode.fmt -------------------------------------------------------------------------------- /src/stuff.fmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/src/stuff.fmt -------------------------------------------------------------------------------- /test/Ackermann.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Ackermann.pig -------------------------------------------------------------------------------- /test/Ackermann2.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Ackermann2.pig -------------------------------------------------------------------------------- /test/Baz.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Baz.pig -------------------------------------------------------------------------------- /test/Both.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Both.dev -------------------------------------------------------------------------------- /test/Both.pig: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/BugBoxSum.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugBoxSum.pig -------------------------------------------------------------------------------- /test/BugDescLoop.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugDescLoop.pig -------------------------------------------------------------------------------- /test/BugEqgreenMu.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugEqgreenMu.pig -------------------------------------------------------------------------------- /test/BugEqgreenMu2.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugEqgreenMu2.pig -------------------------------------------------------------------------------- /test/BugFakeType.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugFakeType.pig -------------------------------------------------------------------------------- /test/BugGoalUnification.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugGoalUnification.pig -------------------------------------------------------------------------------- /test/BugInduction.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugInduction.pig -------------------------------------------------------------------------------- /test/BugLabelLookup.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugLabelLookup.pig -------------------------------------------------------------------------------- /test/BugLetDependent.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugLetDependent.pig -------------------------------------------------------------------------------- /test/BugLetLambda.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugLetLambda.pig -------------------------------------------------------------------------------- /test/BugLetOperator.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugLetOperator.pig -------------------------------------------------------------------------------- /test/BugModuleRelabel.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugModuleRelabel.pig -------------------------------------------------------------------------------- /test/BugNameOrder.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugNameOrder.pig -------------------------------------------------------------------------------- /test/BugNatDesc.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugNatDesc.pig -------------------------------------------------------------------------------- /test/BugSubstEq.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugSubstEq.pig -------------------------------------------------------------------------------- /test/BugUnliftedScheme.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/BugUnliftedScheme.pig -------------------------------------------------------------------------------- /test/Cat.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Cat.pig -------------------------------------------------------------------------------- /test/Cat.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/DataDecl.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/DataDecl.pig -------------------------------------------------------------------------------- /test/Demo.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Demo.pig -------------------------------------------------------------------------------- /test/Demo.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/DescFix.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/DescFix.pig -------------------------------------------------------------------------------- /test/DescFix.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/Differentiation.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Differentiation.pig -------------------------------------------------------------------------------- /test/Elab.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Elab.pig -------------------------------------------------------------------------------- /test/Elim.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Elim.pig -------------------------------------------------------------------------------- /test/Elim1.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Elim1.pig -------------------------------------------------------------------------------- /test/Elim2.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Elim2.pig -------------------------------------------------------------------------------- /test/Elim3.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Elim3.pig -------------------------------------------------------------------------------- /test/ElimEquality.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/ElimEquality.pig -------------------------------------------------------------------------------- /test/ElimSplit.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/ElimSplit.pig -------------------------------------------------------------------------------- /test/ElimSwitch.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/ElimSwitch.pig -------------------------------------------------------------------------------- /test/Empty.pig: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/FeatureMultiInduction.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/FeatureMultiInduction.pig -------------------------------------------------------------------------------- /test/Fibonacci.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Fibonacci.pig -------------------------------------------------------------------------------- /test/Fin.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Fin.pig -------------------------------------------------------------------------------- /test/Fin.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/Foo.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Foo.dev -------------------------------------------------------------------------------- /test/Foo.pig: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /test/GenericCase.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/GenericCase.pig -------------------------------------------------------------------------------- /test/HigherHole.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/HigherHole.pig -------------------------------------------------------------------------------- /test/IData.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/IData.pig -------------------------------------------------------------------------------- /test/IDescFix.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/IDescFix.pig -------------------------------------------------------------------------------- /test/IDescFix.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/Image.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Image.pig -------------------------------------------------------------------------------- /test/LabelledNat.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/LabelledNat.pig -------------------------------------------------------------------------------- /test/LambdaCalculus.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/LambdaCalculus.pig -------------------------------------------------------------------------------- /test/Let.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Let.pig -------------------------------------------------------------------------------- /test/LetAdd.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/LetAdd.pig -------------------------------------------------------------------------------- /test/LetAdd2.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/LetAdd2.pig -------------------------------------------------------------------------------- /test/LetAdd2.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/LetMul.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/LetMul.pig -------------------------------------------------------------------------------- /test/LetVec.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/LetVec.pig -------------------------------------------------------------------------------- /test/Levitation.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Levitation.pig -------------------------------------------------------------------------------- /test/List.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/List.pig -------------------------------------------------------------------------------- /test/MapSimp.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/MapSimp.pig -------------------------------------------------------------------------------- /test/Module.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Module.dev -------------------------------------------------------------------------------- /test/Module.pig: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/Monad.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Monad.pig -------------------------------------------------------------------------------- /test/Naming.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Naming.pig -------------------------------------------------------------------------------- /test/NamingSchemes.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/NamingSchemes.pig -------------------------------------------------------------------------------- /test/Nat.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Nat.pig -------------------------------------------------------------------------------- /test/Nat2.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Nat2.pig -------------------------------------------------------------------------------- /test/Nat3.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Nat3.pig -------------------------------------------------------------------------------- /test/NatDev.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/NatDev.dev -------------------------------------------------------------------------------- /test/NatDev.pig: -------------------------------------------------------------------------------- 1 | show state -------------------------------------------------------------------------------- /test/NatDev.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/NatElim.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/NatElim.pig -------------------------------------------------------------------------------- /test/NatElim.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/NatInd.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/NatInd.pig -------------------------------------------------------------------------------- /test/NatInd.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/NatLElim.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/NatLElim.pig -------------------------------------------------------------------------------- /test/NatLElim.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/Navigation.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Navigation.dev -------------------------------------------------------------------------------- /test/Navigation.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Navigation.pig -------------------------------------------------------------------------------- /test/NiceInductionPrinciple.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/NiceInductionPrinciple.pig -------------------------------------------------------------------------------- /test/Partial.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Partial.dev -------------------------------------------------------------------------------- /test/Partial.pig: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/Pi.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Pi.dev -------------------------------------------------------------------------------- /test/Pi.pig: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/Plus.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Plus.pig -------------------------------------------------------------------------------- /test/Pretty.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Pretty.pig -------------------------------------------------------------------------------- /test/Pretty2.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Pretty2.dev -------------------------------------------------------------------------------- /test/Pretty2.pig: -------------------------------------------------------------------------------- 1 | show state ; -------------------------------------------------------------------------------- /test/ProgramNat.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/ProgramNat.pig -------------------------------------------------------------------------------- /test/PropSimp.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/PropSimp.pig -------------------------------------------------------------------------------- /test/Quotient.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Quotient.pig -------------------------------------------------------------------------------- /test/Record.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Record.pig -------------------------------------------------------------------------------- /test/Script.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Script.pig -------------------------------------------------------------------------------- /test/Shared.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Shared.dev -------------------------------------------------------------------------------- /test/Shared.pig: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/SimpleIInduction.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/SimpleIInduction.pig -------------------------------------------------------------------------------- /test/So.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/So.pig -------------------------------------------------------------------------------- /test/Solution.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Solution.pig -------------------------------------------------------------------------------- /test/Sort.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Sort.pig -------------------------------------------------------------------------------- /test/Sort.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/Stream.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Stream.pig -------------------------------------------------------------------------------- /test/Syntax.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Syntax.pig -------------------------------------------------------------------------------- /test/TaggedInduction.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/TaggedInduction.pig -------------------------------------------------------------------------------- /test/TestAnchor.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/TestAnchor.pig -------------------------------------------------------------------------------- /test/TestDesc.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/TestDesc.pig -------------------------------------------------------------------------------- /test/UnifDeep.Pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/UnifDeep.Pig -------------------------------------------------------------------------------- /test/UnorderedPairs.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/UnorderedPairs.pig -------------------------------------------------------------------------------- /test/Vec.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/Vec.pig -------------------------------------------------------------------------------- /test/VecAppend.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/VecAppend.pig -------------------------------------------------------------------------------- /test/VecAppend.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/VecAppend2.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/VecAppend2.pig -------------------------------------------------------------------------------- /test/VecAppend2.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/VecAppend3.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/VecAppend3.pig -------------------------------------------------------------------------------- /test/VecAppend3.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/VecAppend4.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/VecAppend4.pig -------------------------------------------------------------------------------- /test/VecAppend4.pig.disabled: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/hpc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/hpc.sh -------------------------------------------------------------------------------- /test/opSimp.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/opSimp.pig -------------------------------------------------------------------------------- /test/recbug.pig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/recbug.pig -------------------------------------------------------------------------------- /test/report_stats.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/report_stats.sh -------------------------------------------------------------------------------- /test/results/Ackermann.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Ackermann.pig.log -------------------------------------------------------------------------------- /test/results/Ackermann2.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Ackermann2.pig.log -------------------------------------------------------------------------------- /test/results/Baz.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Baz.pig.log -------------------------------------------------------------------------------- /test/results/Both.pig.log: -------------------------------------------------------------------------------- 1 | Loaded. 2 | -------------------------------------------------------------------------------- /test/results/BugBoxSum.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugBoxSum.pig.log -------------------------------------------------------------------------------- /test/results/BugDescLoop.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugDescLoop.pig.log -------------------------------------------------------------------------------- /test/results/BugEqgreenMu.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugEqgreenMu.pig.log -------------------------------------------------------------------------------- /test/results/BugEqgreenMu2.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugEqgreenMu2.pig.log -------------------------------------------------------------------------------- /test/results/BugFakeType.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugFakeType.pig.log -------------------------------------------------------------------------------- /test/results/BugGoalUnification.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugGoalUnification.pig.log -------------------------------------------------------------------------------- /test/results/BugInduction.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugInduction.pig.log -------------------------------------------------------------------------------- /test/results/BugLabelLookup.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugLabelLookup.pig.log -------------------------------------------------------------------------------- /test/results/BugLetDependent.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugLetDependent.pig.log -------------------------------------------------------------------------------- /test/results/BugLetLambda.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugLetLambda.pig.log -------------------------------------------------------------------------------- /test/results/BugLetOperator.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugLetOperator.pig.log -------------------------------------------------------------------------------- /test/results/BugModuleRelabel.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugModuleRelabel.pig.log -------------------------------------------------------------------------------- /test/results/BugNameOrder.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugNameOrder.pig.log -------------------------------------------------------------------------------- /test/results/BugNatDesc.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugNatDesc.pig.log -------------------------------------------------------------------------------- /test/results/BugUnliftedScheme.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/BugUnliftedScheme.pig.log -------------------------------------------------------------------------------- /test/results/DataDecl.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/DataDecl.pig.log -------------------------------------------------------------------------------- /test/results/Demo.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Demo.pig.log -------------------------------------------------------------------------------- /test/results/DescFix.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/DescFix.pig.log -------------------------------------------------------------------------------- /test/results/Differentiation.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Differentiation.pig.log -------------------------------------------------------------------------------- /test/results/Elab.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Elab.pig.log -------------------------------------------------------------------------------- /test/results/Elim.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Elim.pig.log -------------------------------------------------------------------------------- /test/results/Elim1.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Elim1.pig.log -------------------------------------------------------------------------------- /test/results/Elim2.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Elim2.pig.log -------------------------------------------------------------------------------- /test/results/Elim3.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Elim3.pig.log -------------------------------------------------------------------------------- /test/results/ElimEquality.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/ElimEquality.pig.log -------------------------------------------------------------------------------- /test/results/ElimSplit.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/ElimSplit.pig.log -------------------------------------------------------------------------------- /test/results/ElimSwitch.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/ElimSwitch.pig.log -------------------------------------------------------------------------------- /test/results/Empty.pig.log: -------------------------------------------------------------------------------- 1 | Loaded. 2 | -------------------------------------------------------------------------------- /test/results/FeatureMultiInduction.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/FeatureMultiInduction.pig.log -------------------------------------------------------------------------------- /test/results/Fibonacci.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Fibonacci.pig.log -------------------------------------------------------------------------------- /test/results/Foo.pig.log: -------------------------------------------------------------------------------- 1 | Loaded. 2 | -------------------------------------------------------------------------------- /test/results/GenericCase.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/GenericCase.pig.log -------------------------------------------------------------------------------- /test/results/HigherHole.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/HigherHole.pig.log -------------------------------------------------------------------------------- /test/results/IData.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/IData.pig.log -------------------------------------------------------------------------------- /test/results/IDescFix.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/IDescFix.pig.log -------------------------------------------------------------------------------- /test/results/Image.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Image.pig.log -------------------------------------------------------------------------------- /test/results/LabelledNat.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/LabelledNat.pig.log -------------------------------------------------------------------------------- /test/results/LambdaCalculus.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/LambdaCalculus.pig.log -------------------------------------------------------------------------------- /test/results/Let.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Let.pig.log -------------------------------------------------------------------------------- /test/results/LetAdd.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/LetAdd.pig.log -------------------------------------------------------------------------------- /test/results/LetAdd2.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/LetAdd2.pig.log -------------------------------------------------------------------------------- /test/results/LetMul.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/LetMul.pig.log -------------------------------------------------------------------------------- /test/results/LetVec.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/LetVec.pig.log -------------------------------------------------------------------------------- /test/results/List.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/List.pig.log -------------------------------------------------------------------------------- /test/results/MapSimp.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/MapSimp.pig.log -------------------------------------------------------------------------------- /test/results/Module.pig.log: -------------------------------------------------------------------------------- 1 | Appended goal! 2 | Loaded. 3 | -------------------------------------------------------------------------------- /test/results/Monad.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Monad.pig.log -------------------------------------------------------------------------------- /test/results/Naming.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Naming.pig.log -------------------------------------------------------------------------------- /test/results/NamingSchemes.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/NamingSchemes.pig.log -------------------------------------------------------------------------------- /test/results/Nat.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Nat.pig.log -------------------------------------------------------------------------------- /test/results/Nat2.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Nat2.pig.log -------------------------------------------------------------------------------- /test/results/Nat3.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Nat3.pig.log -------------------------------------------------------------------------------- /test/results/NatDev.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/NatDev.pig.log -------------------------------------------------------------------------------- /test/results/NatElim.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/NatElim.pig.log -------------------------------------------------------------------------------- /test/results/NatInd.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/NatInd.pig.log -------------------------------------------------------------------------------- /test/results/NatLElim.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/NatLElim.pig.log -------------------------------------------------------------------------------- /test/results/Navigation.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Navigation.pig.log -------------------------------------------------------------------------------- /test/results/NiceInductionPrinciple.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/NiceInductionPrinciple.pig.log -------------------------------------------------------------------------------- /test/results/Partial.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Partial.pig.log -------------------------------------------------------------------------------- /test/results/Pi.pig.log: -------------------------------------------------------------------------------- 1 | Loaded. 2 | -------------------------------------------------------------------------------- /test/results/Plus.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Plus.pig.log -------------------------------------------------------------------------------- /test/results/Pretty.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Pretty.pig.log -------------------------------------------------------------------------------- /test/results/Pretty2.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Pretty2.pig.log -------------------------------------------------------------------------------- /test/results/ProgramNat.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/ProgramNat.pig.log -------------------------------------------------------------------------------- /test/results/PropSimp.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/PropSimp.pig.log -------------------------------------------------------------------------------- /test/results/Quotient.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Quotient.pig.log -------------------------------------------------------------------------------- /test/results/Record.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Record.pig.log -------------------------------------------------------------------------------- /test/results/Script.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Script.pig.log -------------------------------------------------------------------------------- /test/results/Shared.pig.log: -------------------------------------------------------------------------------- 1 | Loaded. 2 | -------------------------------------------------------------------------------- /test/results/SimpleIInduction.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/SimpleIInduction.pig.log -------------------------------------------------------------------------------- /test/results/So.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/So.pig.log -------------------------------------------------------------------------------- /test/results/Solution.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Solution.pig.log -------------------------------------------------------------------------------- /test/results/Sort.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Sort.pig.log -------------------------------------------------------------------------------- /test/results/Stream.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Stream.pig.log -------------------------------------------------------------------------------- /test/results/Syntax.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Syntax.pig.log -------------------------------------------------------------------------------- /test/results/TaggedInduction.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/TaggedInduction.pig.log -------------------------------------------------------------------------------- /test/results/TestAnchor.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/TestAnchor.pig.log -------------------------------------------------------------------------------- /test/results/TestDesc.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/TestDesc.pig.log -------------------------------------------------------------------------------- /test/results/UnifDeep.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/UnifDeep.pig.log -------------------------------------------------------------------------------- /test/results/UnorderedPairs.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/UnorderedPairs.pig.log -------------------------------------------------------------------------------- /test/results/Vec.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/Vec.pig.log -------------------------------------------------------------------------------- /test/results/VecAppend.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/VecAppend.pig.log -------------------------------------------------------------------------------- /test/results/VecAppend2.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/VecAppend2.pig.log -------------------------------------------------------------------------------- /test/results/VecAppend3.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/VecAppend3.pig.log -------------------------------------------------------------------------------- /test/results/VecAppend4.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/VecAppend4.pig.log -------------------------------------------------------------------------------- /test/results/opSimp.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/opSimp.pig.log -------------------------------------------------------------------------------- /test/results/recbug.pig.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/results/recbug.pig.log -------------------------------------------------------------------------------- /test/stats.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/stats.sh -------------------------------------------------------------------------------- /test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/test/test.sh -------------------------------------------------------------------------------- /web/community.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/community.html -------------------------------------------------------------------------------- /web/default.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/default.css -------------------------------------------------------------------------------- /web/docs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/docs.html -------------------------------------------------------------------------------- /web/download.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/download.html -------------------------------------------------------------------------------- /web/images/img01.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img01.gif -------------------------------------------------------------------------------- /web/images/img02.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img02.gif -------------------------------------------------------------------------------- /web/images/img03.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img03.gif -------------------------------------------------------------------------------- /web/images/img04.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img04.jpg -------------------------------------------------------------------------------- /web/images/img05.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img05.gif -------------------------------------------------------------------------------- /web/images/img06.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img06.gif -------------------------------------------------------------------------------- /web/images/img07.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img07.gif -------------------------------------------------------------------------------- /web/images/img08.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img08.gif -------------------------------------------------------------------------------- /web/images/img09.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img09.gif -------------------------------------------------------------------------------- /web/images/img10.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/images/img10.gif -------------------------------------------------------------------------------- /web/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/index.html -------------------------------------------------------------------------------- /web/index.old.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/index.old.html -------------------------------------------------------------------------------- /web/reportbug.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/reportbug.html -------------------------------------------------------------------------------- /web/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mietek/epigram2/HEAD/web/style.css --------------------------------------------------------------------------------