Andrés Sicard-Ramírez
65a3ba26d3
[ lib-succeed ] Added tests related to termination and sized types.
|
9 роки тому | |
|---|---|---|
| .. | ||
| AIM6 | 10 роки тому | |
| Alonzo | 10 роки тому | |
| NestedDataTypes | 10 роки тому | |
| OTT | 10 роки тому | |
| Termination | 9 роки тому | |
| cat | 10 роки тому | |
| cbs | 10 роки тому | |
| clowns | 10 роки тому | |
| fileIO | 10 роки тому | |
| iird | 10 роки тому | |
| lattice | 10 роки тому | |
| syntax | 10 роки тому | |
| tactics | 17 роки тому | |
| tait | 10 роки тому | |
| univ | 10 роки тому | |
| FunctionsInIndices.agda | 17 роки тому | |
| IORef.agda | 10 роки тому | |
| NBE.agda | 10 роки тому | |
| ProofRep.agda | 17 роки тому | |
| README | 17 роки тому | |
| Screen.agda | 17 роки тому | |
| StackLanguage.agda | 17 роки тому | |
| Subset.agda | 17 роки тому | |
| 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).