Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 лет назад
..
lib 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 лет назад
Category.agda 23c9474092 [ whitespace ] untabify everything 10 лет назад
Functor.agda 689c6aaa09 Moved away or fixed many broken example files. 17 лет назад
Pullback.agda 689c6aaa09 Moved away or fixed many broken example files. 17 лет назад
Setoid.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 лет назад
Slice.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 лет назад
Unique.agda 23c9474092 [ whitespace ] untabify everything 10 лет назад