Halaman utama Jelajahi Bantuan
Masuk
caryoscelus
/
agda
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Cabang: js_amd
Ranting Tag
agda
/
examples
/
outdated-and-incorrect
Andrés Sicard-Ramírez 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. 8 tahun lalu
..
AIM6 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 tahun lalu
Alonzo 23c9474092 [ whitespace ] untabify everything 10 tahun lalu
NestedDataTypes dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 tahun lalu
OTT 23c9474092 [ whitespace ] untabify everything 10 tahun lalu
Termination 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. 8 tahun lalu
cat 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 tahun lalu
cbs dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 tahun lalu
clowns 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 tahun lalu
fileIO dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 tahun lalu
iird 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 tahun lalu
lattice dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 tahun lalu
syntax 23c9474092 [ whitespace ] untabify everything 10 tahun lalu
tactics 689c6aaa09 Moved away or fixed many broken example files. 16 tahun lalu
tait dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 tahun lalu
univ 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 tahun lalu
FunctionsInIndices.agda 689c6aaa09 Moved away or fixed many broken example files. 16 tahun lalu
IORef.agda 23c9474092 [ whitespace ] untabify everything 10 tahun lalu
NBE.agda 23c9474092 [ whitespace ] untabify everything 10 tahun lalu
ProofRep.agda 689c6aaa09 Moved away or fixed many broken example files. 16 tahun lalu
README 689c6aaa09 Moved away or fixed many broken example files. 16 tahun lalu
Screen.agda 689c6aaa09 Moved away or fixed many broken example files. 16 tahun lalu
StackLanguage.agda 689c6aaa09 Moved away or fixed many broken example files. 16 tahun lalu
Subset.agda 689c6aaa09 Moved away or fixed many broken example files. 16 tahun lalu
Warshall.agda 23c9474092 [ whitespace ] untabify everything 10 tahun lalu

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