Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Struktur: 9c190b6ebc
Branches Tags
agda
/
examples
/
outdated-and-incorrect
Andrés Sicard-Ramírez 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. vor 8 Jahren
..
AIM6 06a20b7169 [ cleaning ] Removed .cvsignore files. vor 10 Jahren
Alonzo 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
NestedDataTypes dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. vor 10 Jahren
OTT 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
Termination 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. vor 8 Jahren
cat 06a20b7169 [ cleaning ] Removed .cvsignore files. vor 10 Jahren
cbs dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. vor 10 Jahren
clowns 06a20b7169 [ cleaning ] Removed .cvsignore files. vor 10 Jahren
fileIO dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. vor 10 Jahren
iird 06a20b7169 [ cleaning ] Removed .cvsignore files. vor 10 Jahren
lattice dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. vor 10 Jahren
syntax 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
tactics 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
tait dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. vor 10 Jahren
univ 06a20b7169 [ cleaning ] Removed .cvsignore files. vor 10 Jahren
FunctionsInIndices.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
IORef.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
NBE.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
ProofRep.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
README 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
Screen.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
StackLanguage.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
Subset.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
Warshall.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren

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).