aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
authorEduardo Julian2020-05-17 20:10:42 -0400
committerEduardo Julian2020-05-17 20:10:42 -0400
commitd97f92842981501a8e0d95a1b4f1ba3d9e72f0d5 (patch)
tree3aa01a37da19e1e63bbf8cd204ae6743166e386a /documentation
parent9219da9a9bf29b3a2f7f10d4865b939ded28e003 (diff)
Local binding names for (co|indexed-)?monads are now explicitly set.
Diffstat (limited to 'documentation')
-rw-r--r--documentation/research/database.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/research/database.md b/documentation/research/database.md
index 3445b0aa7..0c6a9f78e 100644
--- a/documentation/research/database.md
+++ b/documentation/research/database.md
@@ -108,6 +108,7 @@
# Exemplar
+1. [Irmin](https://irmin.org/)
1. [Database of Databases](https://dbdb.io/)
## General