Directory listing for MiniAgda-0.2022.3.11 candidate source tarball
MiniAgda-0.2022.3.11/test/succeed/
- AbsurdMatchNonLin.golden
- AbsurdMatchNonLin.ma
- AccDestructorErasedIndex.golden
- AccDestructorErasedIndex.ma
- AgdaIssue1052.golden
- AgdaIssue1052.ma
- AgdaIssue1055.golden
- AgdaIssue1055.ma
- AppendAddSize.golden
- AppendAddSize.ma
- BelowLeInfty.golden
- BelowLeInfty.ma
- BigWrap.golden
- BigWrap.ma
- BoundedQ.golden
- BoundedQ.ma
- BuiltinSigma.golden
- BuiltinSigma.ma
- CoFunReturnsProduct.golden
- CoFunReturnsProduct.ma
- ConorMcBrideCalco09inflationary.golden
- ConorMcBrideCalco09inflationary.ma
- ConstructorTelescopes.golden
- ConstructorTelescopes.ma
- ConstructorVeiledTarget.golden
- ConstructorVeiledTarget.ma
- DataTypesNotFamilies.golden
- DataTypesNotFamilies.ma
- DeepMatch.golden
- DeepMatch.ma
- DescendAscendTerm.golden
- DescendAscendTerm.ma
- DotPatternNotLeftToRightBinding.golden
- DotPatternNotLeftToRightBinding.ma
- DottedConstructors.golden
- DottedConstructors.ma
- DottedPatSyn.golden
- DottedPatSyn.ma
- Empty.golden
- Empty.ma
- EvalBoveCaprettaNotSized.golden
- EvalBoveCaprettaNotSized.ma
- EvenOdd.golden
- EvenOdd.ma
- Evens.golden
- Evens.ma
- ExtractLets.golden
- ExtractLets.ma
- FakeMutual.golden
- FakeMutual.ma
- Fields.golden
- Fields.ma
- FinBranchMutual.golden
- FinBranchMutual.ma
- Fix.golden
- Fix.ma
- ForceInConType.golden
- ForceInConType.ma
- ForcedMatch.golden
- ForcedMatch.ma
- ForcedMatchIdType.golden
- ForcedMatchIdType.ma
- ForestRose.golden
- ForestRose.ma
- GADT.golden
- GADT.ma
- GoodConstraint.golden
- GoodConstraint.ma
- HEq.golden
- HEq.ma
- HVec.golden
- HVec.ma
- HungryEtaRecord.golden
- HungryEtaRecord.ma
- IdTypePos.golden
- IdTypePos.ma
- IrrHeterogeneousFun.golden
- IrrHeterogeneousFun.ma
- IrrHeterogeneousSingleton.golden
- IrrHeterogeneousSingleton.ma
- IrrHeterogeneousSize.golden
- IrrHeterogeneousSize.ma
- LargeElim.golden
- LargeElim.ma
- LetTele.golden
- LetTele.ma
- LowerSemiCont.golden
- LowerSemiCont.ma
- Makefile
- MeasureInFunTele.golden
- MeasureInFunTele.ma
- MeasuredHerSubst1.golden
- MeasuredHerSubst1.ma
- MeasuredRose.golden
- MeasuredRose.ma
- MergeWith.golden
- MergeWith.ma
- MockSig.golden
- MockSig.ma
- Mu.golden
- Mu.ma
- MultiSigma.golden
- MultiSigma.ma
- MutualBigDataKindInf.golden
- MutualBigDataKindInf.ma
- MutualRecordsNoEta.golden
- MutualRecordsNoEta.ma
- Nested.golden
- Nested.ma
- NewSyntaxTour.golden
- NewSyntaxTour.ma
- Nisse2012-02-17.golden
- Nisse2012-02-17.ma
- Nisse2012-03-06.golden
- Nisse2012-03-06.ma
- OverloadedConstructors.golden
- OverloadedConstructors.ma
- PTSRule.golden
- PTSRule.ma
- ParseMultBind.golden
- ParseMultBind.ma
- ParsePipeOperators.golden
- ParsePipeOperators.ma
- Pattern.golden
- Pattern.ma
- PatternParameters.golden
- PatternParameters.ma
- Polarities.golden
- Polarities.ma
- PredDepType.golden
- PredDepType.ma
- Prelude.golden
- Prelude.ma
- Prod.golden
- Prod.ma
- Projections.golden
- Projections.ma
- Rose.golden
- Rose.ma
- SP.golden
- SP.ma
- ScopeCheckFunDef.golden
- ScopeCheckFunDef.ma
- SgPredWrongMon.golden
- SgPredWrongMon.ma
- SolverBugStreamFixed.golden
- SolverBugStreamFixed.ma
- Squash.golden
- Squash.ma
- Stack.golden
- Stack.ma
- StreamDupl.golden
- StreamDupl.ma
- StrictBoundedQCoinductive.golden
- StrictBoundedQCoinductive.ma
- UPolyList.golden
- UPolyList.ma
- Universe.golden
- Universe.ma
- VecNotErased.golden
- VecNotErased.ma
- WrapAbsurd.golden
- WrapAbsurd.ma
- absurdPattern.golden
- absurdPattern.ma
- addWith.golden
- addWith.ma
- casePair.golden
- casePair.ma
- caseSList.golden
- caseSList.ma
- conat.golden
- conat.ma
- countConstructors.golden
- countConstructors.ma
- crazys.golden
- crazys.ma
- drop.golden
- drop.ma
- eta.golden
- eta.ma
- eta_unit.golden
- eta_unit.ma
- exists.golden
- exists.ma
- fib.golden
- fib.ma
- fibDeep.golden
- fibDeep.ma
- gcd-either.golden
- gcd-either.ma
- hamming.golden
- hamming.ma
- ho.golden
- ho.ma
- implicitSizeVarUsedExplicitely.golden
- implicitSizeVarUsedExplicitely.ma
- lengthCoList.golden
- lengthCoList.ma
- list.golden
- list.ma
- logic.golden
- logic.ma
- lossyIdentityOnStreams.golden
- lossyIdentityOnStreams.ma
- magicVecLookupProofIrr.golden
- magicVecLookupProofIrr.ma
- mapStream.golden
- mapStream.ma
- max.golden
- max.ma
- measures.golden
- measures.ma
- msort-implicit.golden
- msort-implicit.ma
- msort.golden
- msort.ma
- nat.golden
- nat.ma
- non-record.golden
- non-record.ma
- old_stream.golden
- old_stream.ma
- oldnat.golden
- oldnat.ma
- omegaInst1.golden
- omegaInst1.ma
- omegaInstTailInfty.golden
- omegaInstTailInfty.ma
- pred.golden
- pred.ma
- qsapp.golden
- qsapp.ma
- quicksort-filter-fragment.golden
- quicksort-filter-fragment.ma
- quicksort-filter.golden
- quicksort-filter.ma
- quicksort.golden
- quicksort.ma
- rank2SizeQuantStream.golden
- rank2SizeQuantStream.ma
- record.golden
- record.ma
- shadowDataParam.golden
- shadowDataParam.ma
- sigma.golden
- sigma.ma
- simple_nat.golden
- simple_nat.ma
- singleton.golden
- singleton.ma
- sizeFunctions.golden
- sizeFunctions.ma
- sizedFinitelyBranchingTrees.golden
- sizedFinitelyBranchingTrees.ma
- sizedMax.golden
- sizedMax.ma
- sizedMergeWith.golden
- sizedMergeWith.ma
- sizedOrd.golden
- sizedOrd.ma
- streamIdentityNatRecursive.golden
- streamIdentityNatRecursive.ma
- subset.golden
- subset.ma
- tailStream.golden
- tailStream.ma
- vec.golden
- vec.ma
- wkStream.golden
- wkStream.ma