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