From 6feae5fb04a1ebedb7ec43c0e7cdc789d0aecdb0 Mon Sep 17 00:00:00 2001
From: pingu <nor@acorneroftheweb.com>
Date: Tue, 30 Dec 2025 09:31:46 +0100
Subject: [PATCH] Update sources

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 337051a..d0da0b3 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,8 @@
 # mambo
 
+## Resources used
+- https://vcvpaiva.github.io/includes/pubs/2011-Basic_Constructive_Modality.pdf
+- https://arxiv.org/html/2408.16428v1
+- https://www.sciencedirect.com/science/article/pii/S157106611000037X?ref=pdf_download&fr=RR-2&rr=9b2f4a90ee93dc47
+- https://builds.openlogicproject.org/courses/boxes-and-diamonds/bd-screen.pdf
+- https://www.cambridge.org/us/universitypress/subjects/computer-science/programming-languages-and-applied-logic/logic-computer-science-modelling-and-reasoning-about-systems-2nd-edition?format=PB&isbn=9780521543101