Commit 6afb9c56 authored by Nuria Brede's avatar Nuria Brede

Minor.

parent b74c5a70
......@@ -15,5 +15,5 @@ The data in this repository accompanies **Deliverable D6.1 (D27)** [4] of the **
[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.
[4] Botta, Nicola, Brede, Nuria, Crucifix, Michel, & Martı́nez Montero, Marina. (2020). 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