Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 år sedan
..
Homogenous 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 år sedan
EqBase.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 år sedan
Main.agda 689c6aaa09 Moved away or fixed many broken example files. 16 år sedan
PolyDepPrelude.agda f06402b73b disabled Prop 14 år sedan
Reflexivity.agda 7386e71806 PolyDep Reflexivity to Agda2 17 år sedan
TYPE.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 år sedan
Tools.agda c0d311cdac PolyDep Tools updated towards Agda2 17 år sedan
log.txt 442e3e69b1 PolyDep Homogenous updated to Agda2 17 år sedan