Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Träd: ce9b406819
Grenar Taggar
agda
/
examples
/
outdated-and-incorrect
Andrés Sicard-Ramírez 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. 9 år sedan
..
AIM6 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 år sedan
Alonzo 23c9474092 [ whitespace ] untabify everything 10 år sedan
NestedDataTypes dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 år sedan
OTT 23c9474092 [ whitespace ] untabify everything 10 år sedan
Termination 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. 9 år sedan
cat 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 år sedan
cbs dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 år sedan
clowns 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 år sedan
fileIO dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 år sedan
iird 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 år sedan
lattice dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 år sedan
syntax 23c9474092 [ whitespace ] untabify everything 10 år sedan
tactics 689c6aaa09 Moved away or fixed many broken example files. 17 år sedan
tait dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 år sedan
univ 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 år sedan
FunctionsInIndices.agda 689c6aaa09 Moved away or fixed many broken example files. 17 år sedan
IORef.agda 23c9474092 [ whitespace ] untabify everything 10 år sedan
NBE.agda 23c9474092 [ whitespace ] untabify everything 10 år sedan
ProofRep.agda 689c6aaa09 Moved away or fixed many broken example files. 17 år sedan
README 689c6aaa09 Moved away or fixed many broken example files. 17 år sedan
Screen.agda 689c6aaa09 Moved away or fixed many broken example files. 17 år sedan
StackLanguage.agda 689c6aaa09 Moved away or fixed many broken example files. 17 år sedan
Subset.agda 689c6aaa09 Moved away or fixed many broken example files. 17 år sedan
Warshall.agda 23c9474092 [ whitespace ] untabify everything 10 år sedan

README

This directory contains old examples which have bit-rotted. Only move
them out of this directory if you fix them and add them to the
test-suite (so we notice if they get broken again).