Agda-2.3.2.2: examples/outdated-and-incorrect/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).
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).