From e6b5a8f3e1128495d9e956fa4f4fa56da02350dc Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Tue, 26 May 2020 16:38:33 +0200
Subject: add Maybe

---
 ROOT | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ROOT')

diff --git a/ROOT b/ROOT
index 844f92b..f1fdd66 100644
--- a/ROOT
+++ b/ROOT
@@ -17,6 +17,7 @@ session Spartan in spartan = Spartan_Core +
   directories
     data
   theories
+    Maybe
     List
 
 session HoTT in hott = Spartan +
-- 
cgit v1.2.3