Commit b74c5a70 authored by Nuria Brede's avatar Nuria Brede

Minor.

parent 1686ccb5
......@@ -13,7 +13,7 @@ The data in this repository accompanies **Deliverable D6.1 (D27)** [4] of the **
[2] Botta, N., Jansson, P., Ionescu, C.(2018). The impact of uncertainty on optimal emission policies. Earth Syst. Dynam., 9, 525-542.
[3] Botta, N.et al.(2016-2021). IdrisLibs, https://gitlab.pik-potsdam.de/botta/IdrisLibs
[3] Botta, N. et al.(2016-2021). IdrisLibs, https://gitlab.pik-potsdam.de/botta/IdrisLibs
[4] Botta, Nicola, Brede, Nuria, Crucifix, Michel, & Martı́nez Montero, Marina. (2021). Course on functional languages and dependently typed languages.
[Zenodo](https://doi.org/10.5281/zenodo.4543579).
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