Directory listing for Agda-2.3.2.2 source tarball
Agda-2.3.2.2/examples/
- .cvsignore
- Binary.agda
- ISWIM.agda
- Lookup.agda
- Makefile
- Monad.agda
- ParenDepTac.agda
- Setoid.agda
- SimpleTypes.agda
- TT.agda
- Vec.agda
- AIM4/
- AIM5/
- AIM6/
- Introduction/
- Miller/
- SummerSchool07/
- Termination/
- arith/
- compiler/
- instance-arguments/
- 01-arguments.agda
- 02-classes-indep.agda
- 03-classes.agda
- 04-equality.agda
- 05-equality-std1.agda
- 05-equality-std2.agda
- 06-listEquality.agda
- 07-subclasses.agda
- 08-higherOrder.agda
- 09-higherOrderClasses.agda
- 10-localInstances.agda
- 11-monads.agda
- 12-constraintFamilies.agda
- 13-implicitProofObligations.agda
- 14-implicitConfigurations.agda
- lib/
- malformed/
- order/
- outdated-and-incorrect/
- FunctionsInIndices.agda
- IORef.agda
- NBE.agda
- ProofRep.agda
- README
- Screen.agda
- StackLanguage.agda
- Subset.agda
- Warshall.agda
- AIM6/
- Alonzo/
- AlonzoPrelude.agda
- BadPrintf.agda
- BadPrintf2.agda
- Bool.agda
- Bool.hs
- ListTest.agda
- Makefile
- Point.agda
- Point.hs
- PreludeAll.agda
- PreludeBool.agda
- PreludeInt.agda
- PreludeList.agda
- PreludeNat.agda
- PreludeNatType.agda
- PreludeNatType.hs
- PreludeShow.agda
- PreludeString.agda
- Primitive.agda
- PrintFloat.agda
- PrintNat.agda
- Printf.agda
- Proj.agda
- Q.agda
- README
- RTD.hs
- RTN.agda
- RTN.hs
- RTP.agda
- RTP.hs
- RTP.hs.sav
- RTS.hs
- Records.agda
- Records.hs
- TestInt.agda
- TestNat.agda
- TestVec.agda
- TestWith.agda
- Vec.agda
- almake
- DTP08/
- NestedDataTypes/
- OTT/
- cat/
- cbs/
- clowns/
- fileIO/
- iird/
- lattice/
- syntax/
- tactics/
- tait/
- univ/
- relocatable/
- simple-lib/
- sinatra/
- syntax/
- tactics/
- vfl/