Commit 0ed2486b authored by Nicola Botta's avatar Nicola Botta
Browse files

Cleanup.

parent 6913dac5
## Extensional equality preservation and verified generic programming
* 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.2) in your path: (version 1.3.2) in your path:
...@@ -7,9 +9,7 @@ ...@@ -7,9 +9,7 @@
where *IDRISLIBS* is the path of 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).
......
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