@@ -10,7 +10,7 @@ This directory contains the Idris development presented in [1].
code.ipkg`. The folder contains another [README](code/README.md) indicating the content
of the individual files.
-[examples](examples): This folder contains the lightweight version of the BJI-framework discussed in [1], augmented with the necessary implementations for computing optimal extensions and using the framework's backward induction algorithm. It needs the library from [2] to type-check. The folder contains another [README](examples/README.md) with instructions.
-[lwtheory](lwtheory): This folder contains the lightweight version of the BJI-framework discussed in [1], augmented with the necessary implementations for computing optimal extensions and using the framework's backward induction algorithm. It needs the library from [2] to type-check. The folder contains another [README](lwtheory/README.md) with instructions.
Generated intermediate code and executables can be deleted with `idris
--clean code.ipkg` or `idris --clean paper.ipkg`, respectively.
