Andrés Sicard-Ramírez
65a3ba26d3
[ lib-succeed ] Added tests related to termination and sized types.
|
před 8 roky | |
|---|---|---|
| .. | ||
| AIM6 | před 9 roky | |
| Alonzo | před 10 roky | |
| NestedDataTypes | před 10 roky | |
| OTT | před 10 roky | |
| Termination | před 8 roky | |
| cat | před 9 roky | |
| cbs | před 10 roky | |
| clowns | před 9 roky | |
| fileIO | před 10 roky | |
| iird | před 9 roky | |
| lattice | před 10 roky | |
| syntax | před 10 roky | |
| tactics | před 16 roky | |
| tait | před 10 roky | |
| univ | před 9 roky | |
| FunctionsInIndices.agda | před 16 roky | |
| IORef.agda | před 10 roky | |
| NBE.agda | před 10 roky | |
| ProofRep.agda | před 16 roky | |
| README | před 16 roky | |
| Screen.agda | před 16 roky | |
| StackLanguage.agda | před 16 roky | |
| Subset.agda | před 16 roky | |
| Warshall.agda | před 10 roky | |
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).