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