aboutsummaryrefslogtreecommitdiff
path: root/ROOT
diff options
context:
space:
mode:
authorJosh Chen2020-05-25 18:50:59 +0200
committerJosh Chen2020-05-25 18:50:59 +0200
commit60f32406e8c9712c0689d54a3dd4f8e17d310d52 (patch)
tree11fe176eb187a2f146060af1584005506f220c9d /ROOT
parent80edbd08e13200d2c080ac281d19948bbbcd92e0 (diff)
Lists + more reorganizing
Diffstat (limited to '')
-rw-r--r--ROOT5
1 files changed, 3 insertions, 2 deletions
diff --git a/ROOT b/ROOT
index 1e8017c..b716396 100644
--- a/ROOT
+++ b/ROOT
@@ -17,7 +17,7 @@ session Spartan in spartan = Spartan_Core +
directories
data
theories
- "data/List"
+ List
session HoTT in hott = Spartan +
description "
@@ -28,8 +28,9 @@ session HoTT in hott = Spartan +
Available online at https://homotopytypetheory.org/book.
"
theories
- Base
+ HoTT (global)
Identity
Equivalence
+ More_Types
Nat