Commit 5ed2b4ff authored by Nuria Brede's avatar Nuria Brede
Browse files

Correct links.

parent e6c7245c
......@@ -4,13 +4,13 @@ This directory contains the Idris development presented in [1].
## Contents
- [paper](./paper): The paper is written in literate Idris and its sources can be found in this folder. They can be compiled to pdf using `make` and type-checked using the command `idris --checkpkg paper.ipkg`.
- [paper](paper): The paper is written in literate Idris and its sources can be found in this folder. They can be compiled to pdf using `make` and type-checked using the command `idris --checkpkg paper.ipkg`.
- [code](./code): This folder contains a condensed version of the relevant source code (also provided as supplementary material to the paper). It can be type-checked using the command `idris --checkpkg
code.ipkg`. The folder contains another [README](./code/README.md) indicating the content
- [code](code): This folder contains a condensed version of the relevant source code (also provided as supplementary material to the paper). It can be type-checked using the command `idris --checkpkg
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.
- [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.
Generated intermediate code and executables can be deleted with `idris
--clean code.ipkg` or `idris --clean paper.ipkg`, respectively.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment