Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Branch: js_amd
Branchit Tagit
agda
/
examples
/
outdated-and-incorrect
Andrés Sicard-Ramírez 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. 8 vuotta sitten
..
AIM6 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 vuotta sitten
Alonzo 23c9474092 [ whitespace ] untabify everything 10 vuotta sitten
NestedDataTypes dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 vuotta sitten
OTT 23c9474092 [ whitespace ] untabify everything 10 vuotta sitten
Termination 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. 8 vuotta sitten
cat 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 vuotta sitten
cbs dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 vuotta sitten
clowns 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 vuotta sitten
fileIO dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 vuotta sitten
iird 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 vuotta sitten
lattice dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 vuotta sitten
syntax 23c9474092 [ whitespace ] untabify everything 10 vuotta sitten
tactics 689c6aaa09 Moved away or fixed many broken example files. 16 vuotta sitten
tait dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 vuotta sitten
univ 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 vuotta sitten
FunctionsInIndices.agda 689c6aaa09 Moved away or fixed many broken example files. 16 vuotta sitten
IORef.agda 23c9474092 [ whitespace ] untabify everything 10 vuotta sitten
NBE.agda 23c9474092 [ whitespace ] untabify everything 10 vuotta sitten
ProofRep.agda 689c6aaa09 Moved away or fixed many broken example files. 16 vuotta sitten
README 689c6aaa09 Moved away or fixed many broken example files. 16 vuotta sitten
Screen.agda 689c6aaa09 Moved away or fixed many broken example files. 16 vuotta sitten
StackLanguage.agda 689c6aaa09 Moved away or fixed many broken example files. 16 vuotta sitten
Subset.agda 689c6aaa09 Moved away or fixed many broken example files. 16 vuotta sitten
Warshall.agda 23c9474092 [ whitespace ] untabify everything 10 vuotta sitten

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