Inicio Explorar Ayuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd_patch
Ramas Etiquetas
agda
/
examples
/
outdated-and-incorrect
Andrés Sicard-Ramírez 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. hace 9 años
..
AIM6 06a20b7169 [ cleaning ] Removed .cvsignore files. hace 10 años
Alonzo 23c9474092 [ whitespace ] untabify everything hace 10 años
NestedDataTypes dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. hace 10 años
OTT 23c9474092 [ whitespace ] untabify everything hace 10 años
Termination 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. hace 9 años
cat 06a20b7169 [ cleaning ] Removed .cvsignore files. hace 10 años
cbs dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. hace 10 años
clowns 06a20b7169 [ cleaning ] Removed .cvsignore files. hace 10 años
fileIO dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. hace 10 años
iird 06a20b7169 [ cleaning ] Removed .cvsignore files. hace 10 años
lattice dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. hace 10 años
syntax 23c9474092 [ whitespace ] untabify everything hace 10 años
tactics 689c6aaa09 Moved away or fixed many broken example files. hace 17 años
tait dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. hace 10 años
univ 06a20b7169 [ cleaning ] Removed .cvsignore files. hace 10 años
FunctionsInIndices.agda 689c6aaa09 Moved away or fixed many broken example files. hace 17 años
IORef.agda 23c9474092 [ whitespace ] untabify everything hace 10 años
NBE.agda 23c9474092 [ whitespace ] untabify everything hace 10 años
ProofRep.agda 689c6aaa09 Moved away or fixed many broken example files. hace 17 años
README 689c6aaa09 Moved away or fixed many broken example files. hace 17 años
Screen.agda 689c6aaa09 Moved away or fixed many broken example files. hace 17 años
StackLanguage.agda 689c6aaa09 Moved away or fixed many broken example files. hace 17 años
Subset.agda 689c6aaa09 Moved away or fixed many broken example files. hace 17 años
Warshall.agda 23c9474092 [ whitespace ] untabify everything hace 10 años

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