Andrés Sicard-Ramírez
65a3ba26d3
[ lib-succeed ] Added tests related to termination and sized types.
|
пре 8 година | |
|---|---|---|
| .. | ||
| AIM6 | пре 9 година | |
| Alonzo | пре 10 година | |
| NestedDataTypes | пре 10 година | |
| OTT | пре 10 година | |
| Termination | пре 8 година | |
| cat | пре 9 година | |
| cbs | пре 10 година | |
| clowns | пре 9 година | |
| fileIO | пре 10 година | |
| iird | пре 9 година | |
| lattice | пре 10 година | |
| syntax | пре 10 година | |
| tactics | пре 16 година | |
| tait | пре 10 година | |
| univ | пре 9 година | |
| FunctionsInIndices.agda | пре 16 година | |
| IORef.agda | пре 10 година | |
| NBE.agda | пре 10 година | |
| ProofRep.agda | пре 16 година | |
| README | пре 16 година | |
| Screen.agda | пре 16 година | |
| StackLanguage.agda | пре 16 година | |
| Subset.agda | пре 16 година | |
| Warshall.agda | пре 10 година | |
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).
them out of this directory if you fix them and add them to the
test-suite (so we notice if they get broken again).