Skip to content

GitLab

Commit b86b77d6 authored by Nicola Botta's avatar Nicola Botta
Browse files

Cleanup.

parent f2f3da93
Hide whitespace changes
Inline Side-by-side
2020.Extensional equality preservation and verified generic programming/README.md
View file @ b86b77d6
* To type check About.lidr (or other literate Idris file) with idris * To type check About.lidr (or other literate Idris file) with idris
(version 1.3.3) in your path: (version 1.3.2) in your path:
+ Download IdrisLibs or IdrisLibs2 from [1] or [2]. + Download IdrisLibs2 from [1].
+ enter "idris -i $IDRISLIBS --sourcepath $IDRISLIBS --allow-capitalized-pattern-variables About.lidr + enter *idris -i $IDRISLIBS --sourcepath $IDRISLIBS --allow-capitalized-pattern-variables -p contrib About.lidr*
where IDRISLIBS is the path of IdrisLibs or IdrisLibs2. where *IDRISLIBS* is the path of IdrisLibs2.
* To generate a PostScript version of the paper: * To generate a PostScript version of the paper:
+ enter "make" in the command line. + enter *make* in the command line.
* If you encounter any issue, please get in touch (botta@pik-potsdam.de). * If you encounter any issue, please get in touch (botta@pik-potsdam.de).
* [1] https://gitlab.pik-potsdam.de/botta/IdrisLibs * [1] https://gitlab.pik-potsdam.de/botta/IdrisLibs2
* [2] https://gitlab.pik-potsdam.de/botta/IdrisLibs2
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