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

Added submission data and instructions for building and type checking.

parent 69dab95e
# Responsibility under uncertainty: which climate decisions matter most? # Responsibility under uncertainty: which climate decisions matter most?
* Submitted to "Environmental Modeling and Assessment" in Nov. 2021
* To type check Responsibility.lidr (or other literate Idris file) with idris
(version 1.3.2) in your path:
+ Download IdrisLibs2 from [1].
+ enter *idris -i $IDRISLIBS --sourcepath $IDRISLIBS --allow-capitalized-pattern-variables -p contrib -p effects Responsibility.lidr*
where *IDRISLIBS* is the path of IdrisLibs2.
* To generate a PostScript version of the paper enter *make* in the command line.
* If you encounter any issue, please get in touch (botta@pik-potsdam.de).
* [1] 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