Commit 9514aea7 authored by Nicola Botta's avatar Nicola Botta
Browse files

Added IdrisLibs version.

parent d9d54432
...@@ -4,7 +4,9 @@ This directory contains the sources of [1] and some supplementary material. ...@@ -4,7 +4,9 @@ This directory contains the sources of [1] and some supplementary material.
## Contents ## Contents
- [paper](paper): The literate Idris sources of [1]. The sources can be compiled to pdf using `make` and type-checked using the command `idris --checkpkg paper.ipkg`. - [paper](paper): The literate Idris sources of [1]. The sources can be
compiled to pdf using `make` and type-checked using the command `idris
--checkpkg paper.ipkg`.
- [code](code): A condensed version of the source code provided as - [code](code): A condensed version of the source code provided as
supplementary material to the paper, see [README](code/README.md). supplementary material to the paper, see [README](code/README.md).
...@@ -13,9 +15,10 @@ supplementary material to the paper, see [README](code/README.md). ...@@ -13,9 +15,10 @@ supplementary material to the paper, see [README](code/README.md).
discussed in [1], together with code for computing optimal discussed in [1], together with code for computing optimal
extensions. Requires [2] to type-check, see [README](lwtheory/README.md). extensions. Requires [2] to type-check, see [README](lwtheory/README.md).
The files have been type-checked with Idris 1.3.2. If you encounter any The files have been type-checked with Idris 1.3.3-git:ae98085b8 and
issues, please get in touch with Nuria Brede (nubrede@pik-potsdam.de) IdrisLibs v1.3.3. If you encounter any issues, please get in touch with
or Nicola Botta (botta@pik-potsdam.de). Nuria Brede (nubrede@pik-potsdam.de) or Nicola Botta
(botta@pik-potsdam.de).
### Acknowledgment ### Acknowledgment
......
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