From 4364122dd16fca05dda73ef5e0b4a4aee32d58f8 Mon Sep 17 00:00:00 2001 From: 5HT Date: Sun, 29 Oct 2023 05:58:33 +0200 Subject: [PATCH] ABCFHL in univalent foundations --- foundations/mltt/either/index.html | 2 +- foundations/mltt/either/index.pug | 2 +- foundations/mltt/id/index.html | 2 +- foundations/mltt/id/index.pug | 2 +- foundations/mltt/inductive/index.html | 2 +- foundations/mltt/inductive/index.pug | 2 +- foundations/mltt/io/index.html | 8 ++++-- foundations/mltt/io/index.pug | 8 ++++-- foundations/mltt/ioi/index.html | 28 +++++++++++++++--- foundations/mltt/ioi/index.pug | 33 ++++++++++++++++++++-- foundations/modal/infinitesimal/index.html | 2 +- foundations/modal/infinitesimal/index.pug | 2 +- foundations/modal/modality/index.html | 2 +- foundations/modal/modality/index.pug | 2 +- foundations/modal/process/index.html | 2 +- foundations/modal/process/index.pug | 2 +- foundations/univalent/iso/index.html | 2 +- foundations/univalent/iso/index.pug | 2 +- foundations/univalent/path/index.html | 2 +- foundations/univalent/path/index.pug | 2 +- lib/foundations/univalent/cartesian.anders | 15 ++++++++++ 21 files changed, 97 insertions(+), 27 deletions(-) create mode 100644 lib/foundations/univalent/cartesian.anders diff --git a/foundations/mltt/either/index.html b/foundations/mltt/either/index.html index a778d93e..c257c551 100644 --- a/foundations/mltt/either/index.html +++ b/foundations/mltt/either/index.html @@ -5,7 +5,7 @@ .mjx-dashed{stroke-dasharray:140} .mjx-dotted{stroke-linecap:round;stroke-dasharray:0,140} use[data-c]{stroke-width:3px} -EITHER