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

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