├── .gitignore ├── README.md ├── examples ├── effect-examples.tgz ├── effect-examples │ ├── FileTest.idr │ ├── ImpLang.idr │ ├── Lang.idr │ ├── Queens.idr │ ├── ioreason.idr │ └── testFile └── type_classes_hack.lidr ├── frameworks ├── 11-14 │ ├── Bool │ │ └── Postulates.lidr │ ├── BoundedNat │ │ └── Blt.lidr │ ├── DynamicProgramming │ │ ├── README │ │ ├── S000_Introduction.lidr │ │ ├── S100_FiniteHorizon.lidr │ │ ├── S1100_ConstantState_DeterministicTransition.lidr │ │ ├── S1101_Context.lidr │ │ ├── S1102_OptimalControls.lidr │ │ ├── S1103_OptimalPolicies.lidr │ │ ├── S1104_MaxArgmax.lidr │ │ ├── S1105_BackwardsInduction.lidr │ │ ├── S1106_Example1.lidr │ │ ├── S1106_Example2.lidr │ │ ├── S1106_Example3_CostEstimates.lidr │ │ ├── S1106_Knapsack.lidr │ │ ├── S1107_FiniteState.lidr │ │ ├── S1108_TabulatedBackwardsInduction.lidr │ │ ├── S1109_Example1.lidr │ │ ├── S1109_Example2.lidr │ │ ├── S1200_TimeDependentState_DeterministicTransition.lidr │ │ ├── S1201_Context.lidr │ │ ├── S1202_ReachabilityViability.lidr │ │ ├── S1202_ReachabilityViabilityDefaults.lidr │ │ ├── S1203_Controls.lidr │ │ ├── S1203_OptimalControls.lidr │ │ ├── S1203_OptimalPolicies.lidr │ │ ├── S1204_MaxArgmax.lidr │ │ ├── S1205_BackwardsInduction.lidr │ │ ├── S1206_Example1.lidr │ │ ├── S1206_Example2.lidr │ │ ├── S1206_Example3.lidr │ │ ├── S1206_Example3.out │ │ ├── S1206_Example4.2014-04.out │ │ ├── S1206_Example4.2014-08-03.out │ │ ├── S1206_Example4.2014-09-10.out │ │ ├── S1206_Example4.2014-10-06.out │ │ ├── S1206_Example4.2014-11-11.out │ │ ├── S1206_Example4.lidr │ │ ├── S1206_Example4.out │ │ ├── S1207_FiniteState.lidr │ │ ├── S1208_TabulatedBackwardsInduction.lidr │ │ ├── S1209_Example1.lidr │ │ ├── S1209_Example2.lidr │ │ ├── S1300_TimeDependentState_GeneralTransition.lidr │ │ ├── S1301_Context.lidr │ │ ├── S1302_Feasibility.lidr │ │ ├── S1302_Reachability.lidr │ │ ├── S1302_ReachabilityDefaults.lidr │ │ ├── S1302_Viability.lidr │ │ ├── S1302_ViabilityDefaults.lidr │ │ ├── S1303_Controls.lidr │ │ ├── S1303_OptimalPolicies.lidr │ │ ├── S1303_Trajectories.lidr │ │ ├── S1304_MaxArgmax.lidr │ │ ├── S1305_BackwardsInduction.lidr │ │ ├── S1306_ClimateChangePolicyUnderTippingPointUncertainty.lidr │ │ ├── S1306_Example1.lidr │ │ ├── S1306_Example2.lidr │ │ ├── S1306_Example3.lidr │ │ ├── S1306_Example4.lidr │ │ ├── S1306_Example5.lidr │ │ ├── S1307_FiniteState.lidr │ │ ├── S1308_TabulatedBackwardsInduction.lidr │ │ ├── S1309_ClimateChangePolicyUnderTippingPointUncertainty.lidr │ │ ├── S1309_ClimateChangePolicyUnderTippingPointUncertaintyVersion2.lidr │ │ ├── S1309_Example2.lidr │ │ ├── S1309_Example4.lidr │ │ ├── commands.txt │ │ ├── done.2012-12-19 │ │ ├── todo.2012-12-16 │ │ └── todo.meeting_with_edwin │ ├── DynamicProgrammingSmall │ │ ├── S1301_Context.lidr │ │ ├── S1302_Feasibility.lidr │ │ ├── S1302_Reachability.lidr │ │ ├── S1302_Viability.lidr │ │ ├── S1303_Controls.lidr │ │ ├── S1303_OptimalPolicies.lidr │ │ ├── S1303_Trajectories.lidr │ │ ├── S1304_MaxArgmax.lidr │ │ ├── S1305_BackwardsInduction.lidr │ │ ├── S1307_FiniteState.lidr │ │ ├── S1308_TabulatedBackwardsInduction.lidr │ │ └── S1309_Example2.lidr │ ├── EffectException.lidr │ ├── EffectStdIO.lidr │ ├── Exists │ │ └── Ops.lidr │ ├── Float │ │ ├── Float.lidr │ │ ├── Postulates.lidr │ │ └── Properties.lidr │ ├── Fun │ │ ├── Fun.lidr │ │ ├── Ops.lidr │ │ └── Ops1.lidr │ ├── Logic │ │ ├── Ops.lidr │ │ ├── Postulates.lidr │ │ └── Properties.lidr │ ├── Makefile │ ├── Nat │ │ ├── Ops.lidr │ │ ├── Postulates.lidr │ │ └── Properties.lidr │ ├── NatProperties.lidr │ ├── Preorder.lidr │ ├── Prob │ │ └── SimpleProb1.lidr │ ├── Rel │ │ ├── DecEq.lidr │ │ ├── EqEq.lidr │ │ ├── Postulates.lidr │ │ ├── Properties.lidr │ │ ├── ReflDecEq.lidr │ │ ├── ReflEqEq.lidr │ │ └── Syntax.lidr │ ├── TotalPreorder.lidr │ ├── Util │ │ ├── Opt.lidr │ │ ├── Util.lidr │ │ ├── VectExtensions1.lidr │ │ └── testVectExtensions1.lidr │ └── Vect │ │ └── Ops.lidr └── 14- │ ├── .gitignore │ ├── Basics.lidr │ ├── BoundedNat.lidr │ ├── BoundedNatOperations.lidr │ ├── BoundedNatProperties.lidr │ ├── Decidable.lidr │ ├── DecidableProperties.lidr │ ├── EffectException.lidr │ ├── EffectStdIO.lidr │ ├── EqualityProperties.lidr │ ├── ExistsOperations.lidr │ ├── FinOperations.lidr │ ├── FinProperties.lidr │ ├── Finite.lidr │ ├── FiniteOperations.lidr │ ├── FiniteProperties.lidr │ ├── FiniteSubType.lidr │ ├── FiniteSubTypeOperations.lidr │ ├── FiniteSubTypeProperties.lidr │ ├── Fraction.lidr │ ├── FractionBasicOperations.lidr │ ├── FractionBasicProperties.lidr │ ├── FractionEqProperties.lidr │ ├── FractionLTEProperties.lidr │ ├── FractionNormal.lidr │ ├── FractionNormalize.lidr │ ├── FractionNormalizeProperties.lidr │ ├── FractionPredicates.lidr │ ├── FractionTest.lidr │ ├── FunOperations.lidr │ ├── FunProperties.lidr │ ├── IdentityOperations.lidr │ ├── IdentityProperties.lidr │ ├── IsomorphismOperations.lidr │ ├── IsomorphismProperties.lidr │ ├── Issue3405.lidr │ ├── KernelQuotient.lidr │ ├── LeftAheadRight.lidr │ ├── ListOperations.lidr │ ├── ListOperationsTest.lidr │ ├── ListProperties.lidr │ ├── Makefile │ ├── Matrix.lidr │ ├── MatrixOperations.lidr │ ├── NatBasicProperties.lidr │ ├── NatCoprime.lidr │ ├── NatCoprimeProperties.lidr │ ├── NatDivisor.lidr │ ├── NatDivisorOperations.lidr │ ├── NatDivisorProperties.lidr │ ├── NatGCD.lidr │ ├── NatGCDAlgorithm.lidr │ ├── NatGCDAlgorithmTest.1.lidr │ ├── NatGCDAlgorithmTest.2.lidr │ ├── NatGCDEuclid.lidr │ ├── NatGCDEuclidStrippedDown.lidr │ ├── NatGCDEuclidStrippedDownTest.lidr │ ├── NatGCDEuclidTest.lidr │ ├── NatGCDOperations.lidr │ ├── NatGCDProperties.lidr │ ├── NatLTEProperties.lidr │ ├── NatLTProperties.lidr │ ├── NatOperations.lidr │ ├── NatOperationsProperties.lidr │ ├── NatPositive.lidr │ ├── NatPredicates.lidr │ ├── NatProperties.TODO │ ├── NonNegRational.lidr │ ├── NonNegRational2.lidr │ ├── NonNegRational3001.lidr │ ├── NonNegRationalBasicOperations.lidr │ ├── NonNegRationalBasicProperties.lidr │ ├── NonNegRationalBasicTests.lidr │ ├── NonNegRationalLTEProperties.lidr │ ├── NonNegRationalMeasureProperties.lidr │ ├── NonNegRationalMeasures.lidr │ ├── NonNegRationalPredicates.lidr │ ├── NonNegRationalProperties.lidr │ ├── NonNegRationalTest2.lidr │ ├── NumOperations.lidr │ ├── NumProperties.lidr │ ├── NumRefinements.lidr │ ├── Opt.lidr │ ├── PNat.lidr │ ├── PNatOperations.lidr │ ├── PNatProperties.lidr │ ├── PairProperties.lidr │ ├── PairsOperations.lidr │ ├── Preorder.lidr │ ├── Prop.lidr │ ├── README.md │ ├── SeqDecProbMonadicSmallTheoryRV.lidr │ ├── SeqDecProbMonadicSmallTheoryRVExample2.lidr │ ├── SeqDecProbsCoreAssumptions.lidr │ ├── SeqDecProbsCoreTheory.lidr │ ├── SeqDecProbsExample1.lidr │ ├── SeqDecProbsExample1tab.lidr │ ├── SeqDecProbsExample2.lidr │ ├── SeqDecProbsExample2tab.lidr │ ├── SeqDecProbsExample3.lidr │ ├── SeqDecProbsExample4.lidr │ ├── SeqDecProbsExample5.lidr │ ├── SeqDecProbsHelpers.lidr │ ├── SeqDecProbsTabulatedBackwardsInduction.lidr │ ├── SeqDecProbsUtils.lidr │ ├── Sigma.lidr │ ├── SigmaOperations.lidr │ ├── SigmaProperties.lidr │ ├── SignProperties.lidr │ ├── SimpleProb.lidr │ ├── SimpleProbBasicOperations.lidr │ ├── SimpleProbBasicProperties.lidr │ ├── SimpleProbMeasures.lidr │ ├── SimpleProbMonadicOperations.lidr │ ├── SimpleProbMonadicProperties.lidr │ ├── SoProperties.lidr │ ├── SplitQuotient.lidr │ ├── SubType.lidr │ ├── SubsetOperations.lidr │ ├── SubsetProperties.lidr │ ├── TestFractionBasicOperations.lidr │ ├── TestNatBasic1.lidr │ ├── TestNonNegRationalBasic1.lidr │ ├── TestNonNegRationalBasic2.lidr │ ├── TestNonNegRationalBasic3.lidr │ ├── TestNonNegRationalBasic4.lidr │ ├── TestNonNegRationalEquality.lidr │ ├── TestNonNegRationalMeasures.lidr │ ├── TestPNatOperations.lidr │ ├── TestSimpleProbBasic1.lidr │ ├── TestSimpleProbBasic2.lidr │ ├── TestTypeCheckingSpeed.lidr │ ├── TotalPreorder.lidr │ ├── TotalPreorderOperations.lidr │ ├── Unique.lidr │ ├── UniqueProperties.lidr │ ├── UnitProperties.lidr │ ├── VectOperations.lidr │ ├── VectProperties.lidr │ ├── VoidProperties.lidr │ ├── errors.txt │ ├── issue3405.ipkg │ ├── log.txt │ ├── tests │ ├── Makefile │ ├── melvarDivMod.lidr │ ├── nicolaDivMod.lidr │ └── standardDivMod.lidr │ ├── unused │ ├── EmbProj.lidr │ └── tagging.lidr │ └── zombies │ ├── BareFraction.lidr │ ├── ClassContainerMonad.lidr │ ├── ContainerMonad.lidr │ ├── DivMod.lidr │ ├── FractionImplementationIndependentProperties.lidr │ ├── FractionNatPairImplementation.lidr │ ├── FractionOperations.lidr │ ├── FractionProperties.lidr │ ├── FractionReduction.lidr │ ├── FractionReductionOperations.lidr │ ├── FractionReductionProperties.lidr │ ├── FractionSpecification.lidr │ ├── LambdaPostulates.lidr │ ├── NatGCDEuclidStrippedDown.lidr │ ├── NatProperties.lidr │ ├── NonNegQ.lidr │ ├── NonNegRationalOperations.lidr │ ├── Order.lidr │ ├── OrderOperations.lidr │ ├── OrderProperties.lidr │ ├── PreorderOperations.lidr │ ├── Rational.lidr │ ├── RationalOperations.lidr │ ├── RationalProperties.lidr │ ├── RationalSpecification.lidr │ ├── RelFloat.lidr │ ├── RelFloatPostulates.lidr │ ├── RelFloatProperties.lidr │ ├── RelSyntax.lidr │ ├── SeqDecProbMonadic.lidr │ ├── SeqDecProbMonadicExample1.1.lidr │ ├── SeqDecProbMonadicExample1.lidr │ ├── SeqDecProbMonadicExample2.0.lidr │ ├── SeqDecProbMonadicExample2.lidr │ ├── SeqDecProbMonadicExample3.lidr │ ├── SeqDecProbMonadicExampleAccident.lidr │ ├── SeqDecProbMonadicSmallTheory.lidr │ ├── SeqDecProbMonadicSmallTheoryExample2.lidr │ ├── SeqDecProbMonadicSmallTheoryRV.lidr │ ├── SeqDecProbMonadicSmallTheoryRVExample2.lidr │ ├── SeqDecProbMonadicSmallTheoryV.lidr │ ├── SeqDecProbMonadicSmallTheoryVExample2.lidr │ ├── SeqDecProbMonadicTheory.0.lidr │ ├── SeqDecProbMonadicTheory.lidr │ ├── SeqDecProbMonadicTheoryExample2.1.lidr │ ├── SeqDecProbMonadicTheoryExample2.lidr │ ├── SeqDecProbMonadicTheoryRVExample2b.lidr │ ├── SeqDecProbMonadicUtils.lidr │ ├── SeqDecProbsCoreTheory.0.lidr │ ├── SeqDecProbsTabulatedBackwardsInduction.0.lidr │ ├── SignedPredicates.lidr │ ├── SoProperties.lidr │ └── Util.lidr ├── idris-lang ├── injective_filter_lemma.2.lidr ├── injective_filter_lemma.3.lidr ├── injective_filter_lemma.4.lidr └── injective_filter_lemma.lidr ├── issue_reports ├── 2986 │ └── SimpleProb2986.lidr ├── 3024 │ ├── Bar.lidr │ ├── Bar1.lidr │ ├── Bar2.lidr │ ├── Foo.lidr │ └── Main.lidr ├── 3030 │ ├── A.lidr │ ├── B.lidr │ ├── Foo.lidr │ └── Main.lidr ├── 3031 │ ├── auto_implicits.1.lidr │ ├── auto_implicits.2.lidr │ └── auto_implicits.lidr ├── 3038 │ └── BoringParsers.lidr ├── 3078 │ └── NumProperties.lidr ├── 1856_explicitsExpansion.lidr ├── 1856_implicitsExpansion.lidr ├── 1916_disambiguation.lidr ├── 1920_unification.lidr ├── 1928_totality_checker.lidr ├── 1990_lambda.lidr ├── 1993_type_classes.lidr ├── 2014_type_classes.lidr ├── 2039_unification.lidr ├── 2053_derived_instances.1.lidr ├── 2053_derived_instances.lidr ├── 2057_type_classes.lidr ├── 2058_namespaces.1.lidr ├── 2058_namespaces.2.lidr ├── 2058_namespaces.3.lidr ├── 2130_non-exaustive_patterns.lidr ├── 2133_unification.lidr ├── 2150_internal_error.lidr ├── 2261_sigma_equality.lidr ├── 2322_internal_error.lidr ├── 2325_show.lidr ├── 2325_show_1.lidr ├── 2326_show.lidr ├── 2778_names_do_matter_where_they_should_not │ └── Fraction2778.lidr ├── 3079_hide │ ├── Decidable.lidr │ ├── Sigma.lidr │ └── TestSigma.lidr ├── 3209.lidr ├── PatternMatchImplicit1.lidr ├── disambiguate.lidr ├── doubleimport │ ├── A.idr │ ├── B.idr │ ├── C.idr │ └── D │ │ ├── A.idr │ │ ├── B.idr │ │ └── C.idr ├── equality.lidr ├── equalitySimple.lidr ├── equalitySimpler.lidr ├── filterTag.lidr ├── num_type_mismatch │ ├── Fraction.lidr │ ├── FractionNormal.lidr │ ├── FractionOperations.lidr │ ├── FractionProperties.lidr │ ├── Makefile │ ├── NatPositive.lidr │ ├── NonNegRational.lidr │ ├── NonNegRationalOperations.lidr │ ├── NonNegRationalProperties.lidr │ ├── NonNegRationalTest.lidr │ ├── PNat.lidr │ ├── PNatOperations.lidr │ └── PNatProperties.lidr ├── preorderReasoning.lidr ├── totalityChecker.lidr ├── totalityChecker1.lidr ├── typeClasses.lidr └── typeClasses1.lidr ├── manuscripts ├── 2014.LMCS │ └── code │ │ ├── .gitignore │ │ ├── Bool │ │ └── Postulates.lidr │ │ ├── BoundedNat │ │ └── Blt.lidr │ │ ├── Double │ │ ├── Double.lidr │ │ ├── Postulates.lidr │ │ └── Properties.lidr │ │ ├── DynamicProgramming │ │ ├── S1101_Context.lidr │ │ ├── S1102_OptimalControls.lidr │ │ ├── S1103_OptimalPolicies.lidr │ │ ├── S1104_MaxArgmax.lidr │ │ ├── S1105_BackwardsInduction.lidr │ │ ├── S1106_KnapsackExample.lidr │ │ ├── S1201_Context.lidr │ │ ├── S1202_ReachabilityViability.lidr │ │ ├── S1202_ReachabilityViabilityDefaults.lidr │ │ ├── S1203_Controls.lidr │ │ ├── S1203_OptimalControls.lidr │ │ ├── S1203_OptimalPolicies.lidr │ │ ├── S1204_MaxArgmax.lidr │ │ ├── S1205_BackwardsInduction.lidr │ │ ├── S1206_CylinderExample1.lidr │ │ ├── S1206_CylinderExample4.lidr │ │ ├── S1301_Context.lidr │ │ ├── S1302_Reachability.lidr │ │ ├── S1302_Viability.lidr │ │ ├── S1302_ViabilityDefaults.lidr │ │ ├── S1303_OptimalPolicies.lidr │ │ ├── S1303_Trajectories.lidr │ │ ├── S1304_MaxArgmax.lidr │ │ ├── S1305_BackwardsInduction.lidr │ │ └── TODO.md │ │ ├── EffectException.lidr │ │ ├── EffectStdIO.lidr │ │ ├── Exists │ │ └── Ops.lidr │ │ ├── Fun │ │ └── Ops.lidr │ │ ├── List │ │ └── Ops.lidr │ │ ├── Logic │ │ ├── Ops.lidr │ │ ├── Postulates.lidr │ │ └── Properties.lidr │ │ ├── Makefile │ │ ├── Nat │ │ ├── Operations.lidr │ │ ├── Postulates.lidr │ │ └── Properties.lidr │ │ ├── Prob │ │ ├── SimpleProb.lidr │ │ └── testSimpleProb.lidr │ │ ├── README.md │ │ ├── Rel │ │ ├── DecEq.lidr │ │ ├── EqEq.lidr │ │ ├── Postulates.lidr │ │ ├── Properties.lidr │ │ ├── ReflDecEq.lidr │ │ ├── ReflEqEq.lidr │ │ └── Syntax.lidr │ │ ├── Set │ │ └── SetIsType.lidr │ │ ├── Util │ │ ├── Opt.lidr │ │ ├── Util.lidr │ │ └── VectExtensions1.lidr │ │ ├── Vect │ │ └── Ops.lidr │ │ └── log.txt └── 2015.JFP │ └── code │ ├── README.md │ ├── deterministic.lidr │ ├── funprogintro.lidr │ ├── monadic.lidr │ ├── non-deterministic.lidr │ ├── preliminaries.lidr │ └── stochastic.lidr ├── notes └── 2015-06-05.md ├── old ├── Pigeonhole.lidr ├── finite.lidr └── stochastic.lidr ├── prototypes ├── PreTab.lidr └── pretab.ipkg └── talks ├── 2015.06.rd4_seminar ├── Makefile ├── asymptote.sty ├── black.lhs ├── code │ ├── Decidable.lidr │ ├── Finite.lidr │ ├── Nat.lidr │ ├── NatProperties.lidr │ ├── Preorder.lidr │ ├── Prob.lidr │ ├── Theory.lidr │ └── TotalPreorder.lidr ├── gray.lhs ├── macros.TeX ├── red.lhs ├── schellnhuber.pdf ├── slides.fmt ├── slides.lhs └── slides.pdf └── 2016-11_Oxford ├── .gitignore ├── Avoidability.md ├── Example.hs ├── LICENSE ├── SeqDecProbs.cabal ├── Setup.hs └── stack.yaml /.gitignore: -------------------------------------------------------------------------------- 1 | *.ibc 2 | *~ 3 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/README.md -------------------------------------------------------------------------------- /examples/effect-examples.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/examples/effect-examples.tgz -------------------------------------------------------------------------------- /examples/effect-examples/FileTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/examples/effect-examples/FileTest.idr -------------------------------------------------------------------------------- /examples/effect-examples/ImpLang.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/examples/effect-examples/ImpLang.idr -------------------------------------------------------------------------------- /examples/effect-examples/Lang.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/examples/effect-examples/Lang.idr -------------------------------------------------------------------------------- /examples/effect-examples/Queens.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/examples/effect-examples/Queens.idr -------------------------------------------------------------------------------- /examples/effect-examples/ioreason.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/examples/effect-examples/ioreason.idr -------------------------------------------------------------------------------- /examples/effect-examples/testFile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/examples/effect-examples/testFile -------------------------------------------------------------------------------- /examples/type_classes_hack.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/examples/type_classes_hack.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Bool/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Bool/Postulates.lidr -------------------------------------------------------------------------------- /frameworks/11-14/BoundedNat/Blt.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/BoundedNat/Blt.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/README -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S000_Introduction.lidr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S100_FiniteHorizon.lidr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1100_ConstantState_DeterministicTransition.lidr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1101_Context.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1101_Context.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1102_OptimalControls.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1102_OptimalControls.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1103_OptimalPolicies.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1103_OptimalPolicies.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1104_MaxArgmax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1104_MaxArgmax.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1105_BackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1105_BackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1106_Example1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1106_Example1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1106_Example2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1106_Example2.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1106_Example3_CostEstimates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1106_Example3_CostEstimates.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1106_Knapsack.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1106_Knapsack.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1107_FiniteState.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1107_FiniteState.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1108_TabulatedBackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1108_TabulatedBackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1109_Example1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1109_Example1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1109_Example2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1109_Example2.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1200_TimeDependentState_DeterministicTransition.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1200_TimeDependentState_DeterministicTransition.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1201_Context.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1201_Context.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1202_ReachabilityViability.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1202_ReachabilityViability.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1202_ReachabilityViabilityDefaults.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1202_ReachabilityViabilityDefaults.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1203_Controls.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1203_Controls.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1203_OptimalControls.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1203_OptimalControls.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1203_OptimalPolicies.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1203_OptimalPolicies.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1204_MaxArgmax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1204_MaxArgmax.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1205_BackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1205_BackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example2.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example3.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example3.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example3.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example3.out -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example4.2014-04.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example4.2014-04.out -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example4.2014-08-03.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example4.2014-08-03.out -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example4.2014-09-10.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example4.2014-09-10.out -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example4.2014-10-06.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example4.2014-10-06.out -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example4.2014-11-11.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example4.2014-11-11.out -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example4.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example4.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1206_Example4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1206_Example4.out -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1207_FiniteState.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1207_FiniteState.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1208_TabulatedBackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1208_TabulatedBackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1209_Example1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1209_Example1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1209_Example2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1209_Example2.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1300_TimeDependentState_GeneralTransition.lidr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1301_Context.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1301_Context.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1302_Feasibility.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1302_Feasibility.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1302_Reachability.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1302_Reachability.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1302_ReachabilityDefaults.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1302_ReachabilityDefaults.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1302_Viability.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1302_Viability.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1302_ViabilityDefaults.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1302_ViabilityDefaults.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1303_Controls.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1303_Controls.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1303_OptimalPolicies.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1303_OptimalPolicies.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1303_Trajectories.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1303_Trajectories.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1304_MaxArgmax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1304_MaxArgmax.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1305_BackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1305_BackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1306_ClimateChangePolicyUnderTippingPointUncertainty.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1306_ClimateChangePolicyUnderTippingPointUncertainty.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1306_Example1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1306_Example1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1306_Example2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1306_Example2.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1306_Example3.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1306_Example3.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1306_Example4.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1306_Example4.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1306_Example5.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1306_Example5.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1307_FiniteState.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1307_FiniteState.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1308_TabulatedBackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1308_TabulatedBackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1309_ClimateChangePolicyUnderTippingPointUncertainty.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1309_ClimateChangePolicyUnderTippingPointUncertainty.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1309_ClimateChangePolicyUnderTippingPointUncertaintyVersion2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1309_ClimateChangePolicyUnderTippingPointUncertaintyVersion2.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1309_Example2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1309_Example2.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/S1309_Example4.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/S1309_Example4.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/commands.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/commands.txt -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/done.2012-12-19: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/done.2012-12-19 -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/todo.2012-12-16: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/todo.2012-12-16 -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgramming/todo.meeting_with_edwin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgramming/todo.meeting_with_edwin -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1301_Context.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1301_Context.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1302_Feasibility.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1302_Feasibility.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1302_Reachability.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1302_Reachability.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1302_Viability.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1302_Viability.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1303_Controls.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1303_Controls.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1303_OptimalPolicies.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1303_OptimalPolicies.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1303_Trajectories.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1303_Trajectories.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1304_MaxArgmax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1304_MaxArgmax.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1305_BackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1305_BackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1307_FiniteState.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1307_FiniteState.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1308_TabulatedBackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1308_TabulatedBackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/11-14/DynamicProgrammingSmall/S1309_Example2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/DynamicProgrammingSmall/S1309_Example2.lidr -------------------------------------------------------------------------------- /frameworks/11-14/EffectException.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/EffectException.lidr -------------------------------------------------------------------------------- /frameworks/11-14/EffectStdIO.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/EffectStdIO.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Exists/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Exists/Ops.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Float/Float.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Float/Float.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Float/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Float/Postulates.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Float/Properties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Float/Properties.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Fun/Fun.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Fun/Fun.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Fun/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Fun/Ops.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Fun/Ops1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Fun/Ops1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Logic/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Logic/Ops.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Logic/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Logic/Postulates.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Logic/Properties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Logic/Properties.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Makefile -------------------------------------------------------------------------------- /frameworks/11-14/Nat/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Nat/Ops.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Nat/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Nat/Postulates.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Nat/Properties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Nat/Properties.lidr -------------------------------------------------------------------------------- /frameworks/11-14/NatProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/NatProperties.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Preorder.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Preorder.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Prob/SimpleProb1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Prob/SimpleProb1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Rel/DecEq.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Rel/DecEq.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Rel/EqEq.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Rel/EqEq.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Rel/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Rel/Postulates.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Rel/Properties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Rel/Properties.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Rel/ReflDecEq.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Rel/ReflDecEq.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Rel/ReflEqEq.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Rel/ReflEqEq.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Rel/Syntax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Rel/Syntax.lidr -------------------------------------------------------------------------------- /frameworks/11-14/TotalPreorder.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/TotalPreorder.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Util/Opt.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Util/Opt.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Util/Util.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Util/Util.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Util/VectExtensions1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Util/VectExtensions1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Util/testVectExtensions1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Util/testVectExtensions1.lidr -------------------------------------------------------------------------------- /frameworks/11-14/Vect/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/11-14/Vect/Ops.lidr -------------------------------------------------------------------------------- /frameworks/14-/.gitignore: -------------------------------------------------------------------------------- 1 | example 2 | -------------------------------------------------------------------------------- /frameworks/14-/Basics.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Basics.lidr -------------------------------------------------------------------------------- /frameworks/14-/BoundedNat.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/BoundedNat.lidr -------------------------------------------------------------------------------- /frameworks/14-/BoundedNatOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/BoundedNatOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/BoundedNatProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/BoundedNatProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/Decidable.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Decidable.lidr -------------------------------------------------------------------------------- /frameworks/14-/DecidableProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/DecidableProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/EffectException.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/EffectException.lidr -------------------------------------------------------------------------------- /frameworks/14-/EffectStdIO.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/EffectStdIO.lidr -------------------------------------------------------------------------------- /frameworks/14-/EqualityProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/EqualityProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/ExistsOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/ExistsOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/FinOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FinOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/FinProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FinProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/Finite.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Finite.lidr -------------------------------------------------------------------------------- /frameworks/14-/FiniteOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FiniteOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/FiniteProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FiniteProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/FiniteSubType.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FiniteSubType.lidr -------------------------------------------------------------------------------- /frameworks/14-/FiniteSubTypeOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FiniteSubTypeOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/FiniteSubTypeProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FiniteSubTypeProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/Fraction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Fraction.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionBasicOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionBasicOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionBasicProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionBasicProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionEqProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionEqProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionLTEProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionLTEProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionNormal.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionNormal.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionNormalize.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionNormalize.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionNormalizeProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionNormalizeProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionPredicates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionPredicates.lidr -------------------------------------------------------------------------------- /frameworks/14-/FractionTest.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FractionTest.lidr -------------------------------------------------------------------------------- /frameworks/14-/FunOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FunOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/FunProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/FunProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/IdentityOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/IdentityOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/IdentityProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/IdentityProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/IsomorphismOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/IsomorphismOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/IsomorphismProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/IsomorphismProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/Issue3405.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Issue3405.lidr -------------------------------------------------------------------------------- /frameworks/14-/KernelQuotient.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/KernelQuotient.lidr -------------------------------------------------------------------------------- /frameworks/14-/LeftAheadRight.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/LeftAheadRight.lidr -------------------------------------------------------------------------------- /frameworks/14-/ListOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/ListOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/ListOperationsTest.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/ListOperationsTest.lidr -------------------------------------------------------------------------------- /frameworks/14-/ListProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/ListProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Makefile -------------------------------------------------------------------------------- /frameworks/14-/Matrix.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Matrix.lidr -------------------------------------------------------------------------------- /frameworks/14-/MatrixOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/MatrixOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatBasicProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatBasicProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatCoprime.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatCoprime.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatCoprimeProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatCoprimeProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatDivisor.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatDivisor.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatDivisorOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatDivisorOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatDivisorProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatDivisorProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCD.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCD.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDAlgorithm.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDAlgorithm.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDAlgorithmTest.1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDAlgorithmTest.1.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDAlgorithmTest.2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDAlgorithmTest.2.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDEuclid.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDEuclid.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDEuclidStrippedDown.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDEuclidStrippedDown.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDEuclidStrippedDownTest.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDEuclidStrippedDownTest.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDEuclidTest.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDEuclidTest.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatGCDProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatGCDProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatLTEProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatLTEProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatLTProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatLTProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatOperationsProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatOperationsProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatPositive.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatPositive.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatPredicates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatPredicates.lidr -------------------------------------------------------------------------------- /frameworks/14-/NatProperties.TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NatProperties.TODO -------------------------------------------------------------------------------- /frameworks/14-/NonNegRational.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRational.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRational2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRational2.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRational3001.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRational3001.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalBasicOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalBasicOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalBasicProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalBasicProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalBasicTests.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalBasicTests.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalLTEProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalLTEProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalMeasureProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalMeasureProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalMeasures.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalMeasures.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalPredicates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalPredicates.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NonNegRationalTest2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NonNegRationalTest2.lidr -------------------------------------------------------------------------------- /frameworks/14-/NumOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NumOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/NumProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NumProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/NumRefinements.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/NumRefinements.lidr -------------------------------------------------------------------------------- /frameworks/14-/Opt.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Opt.lidr -------------------------------------------------------------------------------- /frameworks/14-/PNat.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/PNat.lidr -------------------------------------------------------------------------------- /frameworks/14-/PNatOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/PNatOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/PNatProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/PNatProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/PairProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/PairProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/PairsOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/PairsOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/Preorder.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Preorder.lidr -------------------------------------------------------------------------------- /frameworks/14-/Prop.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Prop.lidr -------------------------------------------------------------------------------- /frameworks/14-/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/README.md -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbMonadicSmallTheoryRV.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbMonadicSmallTheoryRV.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbMonadicSmallTheoryRVExample2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbMonadicSmallTheoryRVExample2.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsCoreAssumptions.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsCoreAssumptions.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsCoreTheory.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsCoreTheory.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsExample1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsExample1.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsExample1tab.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsExample1tab.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsExample2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsExample2.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsExample2tab.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsExample2tab.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsExample3.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsExample3.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsExample4.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsExample4.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsExample5.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsExample5.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsHelpers.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsHelpers.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsTabulatedBackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsTabulatedBackwardsInduction.lidr -------------------------------------------------------------------------------- /frameworks/14-/SeqDecProbsUtils.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SeqDecProbsUtils.lidr -------------------------------------------------------------------------------- /frameworks/14-/Sigma.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Sigma.lidr -------------------------------------------------------------------------------- /frameworks/14-/SigmaOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SigmaOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/SigmaProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SigmaProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/SignProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SignProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/SimpleProb.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SimpleProb.lidr -------------------------------------------------------------------------------- /frameworks/14-/SimpleProbBasicOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SimpleProbBasicOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/SimpleProbBasicProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SimpleProbBasicProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/SimpleProbMeasures.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SimpleProbMeasures.lidr -------------------------------------------------------------------------------- /frameworks/14-/SimpleProbMonadicOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SimpleProbMonadicOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/SimpleProbMonadicProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SimpleProbMonadicProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/SoProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SoProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/SplitQuotient.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SplitQuotient.lidr -------------------------------------------------------------------------------- /frameworks/14-/SubType.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SubType.lidr -------------------------------------------------------------------------------- /frameworks/14-/SubsetOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SubsetOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/SubsetProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/SubsetProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestFractionBasicOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestFractionBasicOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestNatBasic1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestNatBasic1.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestNonNegRationalBasic1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestNonNegRationalBasic1.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestNonNegRationalBasic2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestNonNegRationalBasic2.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestNonNegRationalBasic3.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestNonNegRationalBasic3.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestNonNegRationalBasic4.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestNonNegRationalBasic4.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestNonNegRationalEquality.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestNonNegRationalEquality.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestNonNegRationalMeasures.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestNonNegRationalMeasures.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestPNatOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestPNatOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestSimpleProbBasic1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestSimpleProbBasic1.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestSimpleProbBasic2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestSimpleProbBasic2.lidr -------------------------------------------------------------------------------- /frameworks/14-/TestTypeCheckingSpeed.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TestTypeCheckingSpeed.lidr -------------------------------------------------------------------------------- /frameworks/14-/TotalPreorder.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TotalPreorder.lidr -------------------------------------------------------------------------------- /frameworks/14-/TotalPreorderOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/TotalPreorderOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/Unique.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/Unique.lidr -------------------------------------------------------------------------------- /frameworks/14-/UniqueProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/UniqueProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/UnitProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/UnitProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/VectOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/VectOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/VectProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/VectProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/VoidProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/VoidProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/errors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/errors.txt -------------------------------------------------------------------------------- /frameworks/14-/issue3405.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/issue3405.ipkg -------------------------------------------------------------------------------- /frameworks/14-/log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/log.txt -------------------------------------------------------------------------------- /frameworks/14-/tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/tests/Makefile -------------------------------------------------------------------------------- /frameworks/14-/tests/melvarDivMod.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/tests/melvarDivMod.lidr -------------------------------------------------------------------------------- /frameworks/14-/tests/nicolaDivMod.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/tests/nicolaDivMod.lidr -------------------------------------------------------------------------------- /frameworks/14-/tests/standardDivMod.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/tests/standardDivMod.lidr -------------------------------------------------------------------------------- /frameworks/14-/unused/EmbProj.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/unused/EmbProj.lidr -------------------------------------------------------------------------------- /frameworks/14-/unused/tagging.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/unused/tagging.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/BareFraction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/BareFraction.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/ClassContainerMonad.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/ClassContainerMonad.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/ContainerMonad.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/ContainerMonad.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/DivMod.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/DivMod.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/FractionImplementationIndependentProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/FractionImplementationIndependentProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/FractionNatPairImplementation.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/FractionNatPairImplementation.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/FractionOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/FractionOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/FractionProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/FractionProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/FractionReduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/FractionReduction.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/FractionReductionOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/FractionReductionOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/FractionReductionProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/FractionReductionProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/FractionSpecification.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/FractionSpecification.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/LambdaPostulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/LambdaPostulates.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/NatGCDEuclidStrippedDown.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/NatGCDEuclidStrippedDown.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/NatProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/NatProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/NonNegQ.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/NonNegQ.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/NonNegRationalOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/NonNegRationalOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/Order.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/Order.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/OrderOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/OrderOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/OrderProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/OrderProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/PreorderOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/PreorderOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/Rational.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/Rational.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/RationalOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/RationalOperations.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/RationalProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/RationalProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/RationalSpecification.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/RationalSpecification.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/RelFloat.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/RelFloat.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/RelFloatPostulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/RelFloatPostulates.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/RelFloatProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/RelFloatProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/RelSyntax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/RelSyntax.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadic.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadic.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicExample1.1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicExample1.1.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicExample1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicExample1.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicExample2.0.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicExample2.0.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicExample2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicExample2.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicExample3.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicExample3.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicExampleAccident.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicExampleAccident.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicSmallTheory.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicSmallTheory.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryExample2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryExample2.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryRV.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryRV.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryRVExample2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryRVExample2.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryV.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryV.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryVExample2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicSmallTheoryVExample2.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicTheory.0.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicTheory.0.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicTheory.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicTheory.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicTheoryExample2.1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicTheoryExample2.1.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicTheoryExample2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicTheoryExample2.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicTheoryRVExample2b.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicTheoryRVExample2b.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbMonadicUtils.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbMonadicUtils.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbsCoreTheory.0.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbsCoreTheory.0.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SeqDecProbsTabulatedBackwardsInduction.0.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SeqDecProbsTabulatedBackwardsInduction.0.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SignedPredicates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SignedPredicates.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/SoProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/SoProperties.lidr -------------------------------------------------------------------------------- /frameworks/14-/zombies/Util.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/frameworks/14-/zombies/Util.lidr -------------------------------------------------------------------------------- /idris-lang/injective_filter_lemma.2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/idris-lang/injective_filter_lemma.2.lidr -------------------------------------------------------------------------------- /idris-lang/injective_filter_lemma.3.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/idris-lang/injective_filter_lemma.3.lidr -------------------------------------------------------------------------------- /idris-lang/injective_filter_lemma.4.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/idris-lang/injective_filter_lemma.4.lidr -------------------------------------------------------------------------------- /idris-lang/injective_filter_lemma.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/idris-lang/injective_filter_lemma.lidr -------------------------------------------------------------------------------- /issue_reports/1856_explicitsExpansion.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/1856_explicitsExpansion.lidr -------------------------------------------------------------------------------- /issue_reports/1856_implicitsExpansion.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/1856_implicitsExpansion.lidr -------------------------------------------------------------------------------- /issue_reports/1916_disambiguation.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/1916_disambiguation.lidr -------------------------------------------------------------------------------- /issue_reports/1920_unification.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/1920_unification.lidr -------------------------------------------------------------------------------- /issue_reports/1928_totality_checker.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/1928_totality_checker.lidr -------------------------------------------------------------------------------- /issue_reports/1990_lambda.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/1990_lambda.lidr -------------------------------------------------------------------------------- /issue_reports/1993_type_classes.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/1993_type_classes.lidr -------------------------------------------------------------------------------- /issue_reports/2014_type_classes.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2014_type_classes.lidr -------------------------------------------------------------------------------- /issue_reports/2039_unification.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2039_unification.lidr -------------------------------------------------------------------------------- /issue_reports/2053_derived_instances.1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2053_derived_instances.1.lidr -------------------------------------------------------------------------------- /issue_reports/2053_derived_instances.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2053_derived_instances.lidr -------------------------------------------------------------------------------- /issue_reports/2057_type_classes.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2057_type_classes.lidr -------------------------------------------------------------------------------- /issue_reports/2058_namespaces.1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2058_namespaces.1.lidr -------------------------------------------------------------------------------- /issue_reports/2058_namespaces.2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2058_namespaces.2.lidr -------------------------------------------------------------------------------- /issue_reports/2058_namespaces.3.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2058_namespaces.3.lidr -------------------------------------------------------------------------------- /issue_reports/2130_non-exaustive_patterns.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2130_non-exaustive_patterns.lidr -------------------------------------------------------------------------------- /issue_reports/2133_unification.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2133_unification.lidr -------------------------------------------------------------------------------- /issue_reports/2150_internal_error.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2150_internal_error.lidr -------------------------------------------------------------------------------- /issue_reports/2261_sigma_equality.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2261_sigma_equality.lidr -------------------------------------------------------------------------------- /issue_reports/2322_internal_error.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2322_internal_error.lidr -------------------------------------------------------------------------------- /issue_reports/2325_show.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2325_show.lidr -------------------------------------------------------------------------------- /issue_reports/2325_show_1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2325_show_1.lidr -------------------------------------------------------------------------------- /issue_reports/2326_show.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2326_show.lidr -------------------------------------------------------------------------------- /issue_reports/2778_names_do_matter_where_they_should_not/Fraction2778.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2778_names_do_matter_where_they_should_not/Fraction2778.lidr -------------------------------------------------------------------------------- /issue_reports/2986/SimpleProb2986.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/2986/SimpleProb2986.lidr -------------------------------------------------------------------------------- /issue_reports/3024/Bar.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3024/Bar.lidr -------------------------------------------------------------------------------- /issue_reports/3024/Bar1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3024/Bar1.lidr -------------------------------------------------------------------------------- /issue_reports/3024/Bar2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3024/Bar2.lidr -------------------------------------------------------------------------------- /issue_reports/3024/Foo.lidr: -------------------------------------------------------------------------------- 1 | > module Foo 2 | > public export b : Bool 3 | 4 | -------------------------------------------------------------------------------- /issue_reports/3024/Main.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3024/Main.lidr -------------------------------------------------------------------------------- /issue_reports/3030/A.lidr: -------------------------------------------------------------------------------- 1 | > module A 2 | > public export a : Bool 3 | 4 | -------------------------------------------------------------------------------- /issue_reports/3030/B.lidr: -------------------------------------------------------------------------------- 1 | > module B 2 | > import A 3 | > A.a = True 4 | -------------------------------------------------------------------------------- /issue_reports/3030/Foo.lidr: -------------------------------------------------------------------------------- 1 | > module A 2 | > public export a : Bool 3 | 4 | -------------------------------------------------------------------------------- /issue_reports/3030/Main.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3030/Main.lidr -------------------------------------------------------------------------------- /issue_reports/3031/auto_implicits.1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3031/auto_implicits.1.lidr -------------------------------------------------------------------------------- /issue_reports/3031/auto_implicits.2.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3031/auto_implicits.2.lidr -------------------------------------------------------------------------------- /issue_reports/3031/auto_implicits.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3031/auto_implicits.lidr -------------------------------------------------------------------------------- /issue_reports/3038/BoringParsers.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3038/BoringParsers.lidr -------------------------------------------------------------------------------- /issue_reports/3078/NumProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3078/NumProperties.lidr -------------------------------------------------------------------------------- /issue_reports/3079_hide/Decidable.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3079_hide/Decidable.lidr -------------------------------------------------------------------------------- /issue_reports/3079_hide/Sigma.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3079_hide/Sigma.lidr -------------------------------------------------------------------------------- /issue_reports/3079_hide/TestSigma.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3079_hide/TestSigma.lidr -------------------------------------------------------------------------------- /issue_reports/3209.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/3209.lidr -------------------------------------------------------------------------------- /issue_reports/PatternMatchImplicit1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/PatternMatchImplicit1.lidr -------------------------------------------------------------------------------- /issue_reports/disambiguate.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/disambiguate.lidr -------------------------------------------------------------------------------- /issue_reports/doubleimport/A.idr: -------------------------------------------------------------------------------- 1 | module A 2 | x : Bool 3 | -------------------------------------------------------------------------------- /issue_reports/doubleimport/B.idr: -------------------------------------------------------------------------------- 1 | module B 2 | import A 3 | A.x = True 4 | -------------------------------------------------------------------------------- /issue_reports/doubleimport/C.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/doubleimport/C.idr -------------------------------------------------------------------------------- /issue_reports/doubleimport/D/A.idr: -------------------------------------------------------------------------------- 1 | module A 2 | export x : Bool 3 | -------------------------------------------------------------------------------- /issue_reports/doubleimport/D/B.idr: -------------------------------------------------------------------------------- 1 | module B 2 | import D.A 3 | A.x = True 4 | -------------------------------------------------------------------------------- /issue_reports/doubleimport/D/C.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/doubleimport/D/C.idr -------------------------------------------------------------------------------- /issue_reports/equality.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/equality.lidr -------------------------------------------------------------------------------- /issue_reports/equalitySimple.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/equalitySimple.lidr -------------------------------------------------------------------------------- /issue_reports/equalitySimpler.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/equalitySimpler.lidr -------------------------------------------------------------------------------- /issue_reports/filterTag.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/filterTag.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/Fraction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/Fraction.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/FractionNormal.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/FractionNormal.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/FractionOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/FractionOperations.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/FractionProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/FractionProperties.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/Makefile -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/NatPositive.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/NatPositive.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/NonNegRational.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/NonNegRational.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/NonNegRationalOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/NonNegRationalOperations.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/NonNegRationalProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/NonNegRationalProperties.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/NonNegRationalTest.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/NonNegRationalTest.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/PNat.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/PNat.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/PNatOperations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/PNatOperations.lidr -------------------------------------------------------------------------------- /issue_reports/num_type_mismatch/PNatProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/num_type_mismatch/PNatProperties.lidr -------------------------------------------------------------------------------- /issue_reports/preorderReasoning.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/preorderReasoning.lidr -------------------------------------------------------------------------------- /issue_reports/totalityChecker.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/totalityChecker.lidr -------------------------------------------------------------------------------- /issue_reports/totalityChecker1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/totalityChecker1.lidr -------------------------------------------------------------------------------- /issue_reports/typeClasses.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/typeClasses.lidr -------------------------------------------------------------------------------- /issue_reports/typeClasses1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/issue_reports/typeClasses1.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/.gitignore: -------------------------------------------------------------------------------- 1 | example 2 | -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Bool/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Bool/Postulates.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/BoundedNat/Blt.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/BoundedNat/Blt.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Double/Double.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Double/Double.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Double/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Double/Postulates.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Double/Properties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Double/Properties.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1101_Context.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1101_Context.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1102_OptimalControls.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1102_OptimalControls.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1103_OptimalPolicies.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1103_OptimalPolicies.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1104_MaxArgmax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1104_MaxArgmax.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1105_BackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1105_BackwardsInduction.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1106_KnapsackExample.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1106_KnapsackExample.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1201_Context.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1201_Context.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1202_ReachabilityViability.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1202_ReachabilityViability.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1202_ReachabilityViabilityDefaults.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1202_ReachabilityViabilityDefaults.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1203_Controls.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1203_Controls.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1203_OptimalControls.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1203_OptimalControls.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1203_OptimalPolicies.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1203_OptimalPolicies.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1204_MaxArgmax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1204_MaxArgmax.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1205_BackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1205_BackwardsInduction.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1206_CylinderExample1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1206_CylinderExample1.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1206_CylinderExample4.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1206_CylinderExample4.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1301_Context.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1301_Context.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1302_Reachability.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1302_Reachability.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1302_Viability.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1302_Viability.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1302_ViabilityDefaults.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1302_ViabilityDefaults.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1303_OptimalPolicies.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1303_OptimalPolicies.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1303_Trajectories.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1303_Trajectories.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1304_MaxArgmax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1304_MaxArgmax.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/S1305_BackwardsInduction.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/S1305_BackwardsInduction.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/DynamicProgramming/TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/DynamicProgramming/TODO.md -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/EffectException.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/EffectException.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/EffectStdIO.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/EffectStdIO.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Exists/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Exists/Ops.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Fun/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Fun/Ops.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/List/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/List/Ops.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Logic/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Logic/Ops.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Logic/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Logic/Postulates.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Logic/Properties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Logic/Properties.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Makefile -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Nat/Operations.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Nat/Operations.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Nat/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Nat/Postulates.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Nat/Properties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Nat/Properties.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Prob/SimpleProb.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Prob/SimpleProb.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Prob/testSimpleProb.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Prob/testSimpleProb.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/README.md -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Rel/DecEq.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Rel/DecEq.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Rel/EqEq.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Rel/EqEq.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Rel/Postulates.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Rel/Postulates.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Rel/Properties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Rel/Properties.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Rel/ReflDecEq.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Rel/ReflDecEq.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Rel/ReflEqEq.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Rel/ReflEqEq.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Rel/Syntax.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Rel/Syntax.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Set/SetIsType.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Set/SetIsType.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Util/Opt.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Util/Opt.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Util/Util.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Util/Util.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Util/VectExtensions1.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Util/VectExtensions1.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/Vect/Ops.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/Vect/Ops.lidr -------------------------------------------------------------------------------- /manuscripts/2014.LMCS/code/log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2014.LMCS/code/log.txt -------------------------------------------------------------------------------- /manuscripts/2015.JFP/code/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2015.JFP/code/README.md -------------------------------------------------------------------------------- /manuscripts/2015.JFP/code/deterministic.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2015.JFP/code/deterministic.lidr -------------------------------------------------------------------------------- /manuscripts/2015.JFP/code/funprogintro.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2015.JFP/code/funprogintro.lidr -------------------------------------------------------------------------------- /manuscripts/2015.JFP/code/monadic.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2015.JFP/code/monadic.lidr -------------------------------------------------------------------------------- /manuscripts/2015.JFP/code/non-deterministic.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2015.JFP/code/non-deterministic.lidr -------------------------------------------------------------------------------- /manuscripts/2015.JFP/code/preliminaries.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2015.JFP/code/preliminaries.lidr -------------------------------------------------------------------------------- /manuscripts/2015.JFP/code/stochastic.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/manuscripts/2015.JFP/code/stochastic.lidr -------------------------------------------------------------------------------- /notes/2015-06-05.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/notes/2015-06-05.md -------------------------------------------------------------------------------- /old/Pigeonhole.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/old/Pigeonhole.lidr -------------------------------------------------------------------------------- /old/finite.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/old/finite.lidr -------------------------------------------------------------------------------- /old/stochastic.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/old/stochastic.lidr -------------------------------------------------------------------------------- /prototypes/PreTab.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/prototypes/PreTab.lidr -------------------------------------------------------------------------------- /prototypes/pretab.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/prototypes/pretab.ipkg -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/Makefile -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/asymptote.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/asymptote.sty -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/black.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/black.lhs -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/code/Decidable.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/code/Decidable.lidr -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/code/Finite.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/code/Finite.lidr -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/code/Nat.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/code/Nat.lidr -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/code/NatProperties.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/code/NatProperties.lidr -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/code/Preorder.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/code/Preorder.lidr -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/code/Prob.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/code/Prob.lidr -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/code/Theory.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/code/Theory.lidr -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/code/TotalPreorder.lidr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/code/TotalPreorder.lidr -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/gray.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/gray.lhs -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/macros.TeX: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/macros.TeX -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/red.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/red.lhs -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/schellnhuber.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/schellnhuber.pdf -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/slides.fmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/slides.fmt -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/slides.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/slides.lhs -------------------------------------------------------------------------------- /talks/2015.06.rd4_seminar/slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2015.06.rd4_seminar/slides.pdf -------------------------------------------------------------------------------- /talks/2016-11_Oxford/.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work/ 2 | -------------------------------------------------------------------------------- /talks/2016-11_Oxford/Avoidability.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2016-11_Oxford/Avoidability.md -------------------------------------------------------------------------------- /talks/2016-11_Oxford/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2016-11_Oxford/Example.hs -------------------------------------------------------------------------------- /talks/2016-11_Oxford/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2016-11_Oxford/LICENSE -------------------------------------------------------------------------------- /talks/2016-11_Oxford/SeqDecProbs.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2016-11_Oxford/SeqDecProbs.cabal -------------------------------------------------------------------------------- /talks/2016-11_Oxford/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /talks/2016-11_Oxford/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nicolabotta/SeqDecProbs/HEAD/talks/2016-11_Oxford/stack.yaml --------------------------------------------------------------------------------