aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitmodules3
m---------monad0
2 files changed, 3 insertions, 0 deletions
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
diff --git a/monad b/monad
new file mode 160000
+Subproject f1225201c9ded1078ef1f98fbf4969a8480d3b3