Commit 1686ccb5 authored by Nuria Brede's avatar Nuria Brede

Minor.

parent ab20d91a
......@@ -5,7 +5,7 @@ This repository contains teaching material for an introductory course on functio
## Acknowledgement
The data in this repository accompanies Deliverable D6.1 (D27) [4] of the TiPES (Tipping Points in the Earth System) project funded by European Union’s Horizon 2020 research and innovation programme under grant agreement No 820970.
The data in this repository accompanies **Deliverable D6.1 (D27)** [4] of the **TiPES** (Tipping Points in the Earth System) project funded by **European Union’s Horizon 2020** research and innovation programme under grant agreement No 820970.
## References
......@@ -13,7 +13,7 @@ The data in this repository accompanies Deliverable D6.1 (D27) [4] of the TiPES
[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-2020). 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