Accueil Explorer Aide
Connexion
caryoscelus
/
agda
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Branche: js_amd
Branches Tags
agda
/
examples
/
outdated-and-incorrect
Andrés Sicard-Ramírez 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. il y a 8 ans
..
AIM6 06a20b7169 [ cleaning ] Removed .cvsignore files. il y a 9 ans
Alonzo 23c9474092 [ whitespace ] untabify everything il y a 10 ans
NestedDataTypes dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. il y a 10 ans
OTT 23c9474092 [ whitespace ] untabify everything il y a 10 ans
Termination 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. il y a 8 ans
cat 06a20b7169 [ cleaning ] Removed .cvsignore files. il y a 9 ans
cbs dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. il y a 10 ans
clowns 06a20b7169 [ cleaning ] Removed .cvsignore files. il y a 9 ans
fileIO dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. il y a 10 ans
iird 06a20b7169 [ cleaning ] Removed .cvsignore files. il y a 9 ans
lattice dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. il y a 10 ans
syntax 23c9474092 [ whitespace ] untabify everything il y a 10 ans
tactics 689c6aaa09 Moved away or fixed many broken example files. il y a 16 ans
tait dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. il y a 10 ans
univ 06a20b7169 [ cleaning ] Removed .cvsignore files. il y a 9 ans
FunctionsInIndices.agda 689c6aaa09 Moved away or fixed many broken example files. il y a 16 ans
IORef.agda 23c9474092 [ whitespace ] untabify everything il y a 10 ans
NBE.agda 23c9474092 [ whitespace ] untabify everything il y a 10 ans
ProofRep.agda 689c6aaa09 Moved away or fixed many broken example files. il y a 16 ans
README 689c6aaa09 Moved away or fixed many broken example files. il y a 16 ans
Screen.agda 689c6aaa09 Moved away or fixed many broken example files. il y a 16 ans
StackLanguage.agda 689c6aaa09 Moved away or fixed many broken example files. il y a 16 ans
Subset.agda 689c6aaa09 Moved away or fixed many broken example files. il y a 16 ans
Warshall.agda 23c9474092 [ whitespace ] untabify everything il y a 10 ans

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