Directory listing for Agda-2.3.2.2 source tarball
Agda-2.3.2.2/examples/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/