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