From 57c174fc4ab4370208ee211e1282f3c476d6253a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Thu, 15 Nov 2018 16:37:36 +0100
Subject: Add monad submodule.

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitmodules

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..0c205dd
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "monad"]
+	path = monad
+	url = git.hornquist.se:git/scheme-monad.git
-- 
cgit v1.2.3