.gitignore

@@ -4,5 +4,4 @@ node_modules
 
 logseq
 !logseq/custom.edn
-!logseq/custom.css
-.pijul
+!logseq/custom.css

.ignore

@@ -1,2 +0,0 @@
-.git
-.DS_Store

resources/VanDoornDissertation/dissertation.tex

@@ -1,5 +1,5 @@
 \RequirePackage{fix-cm}
-\def\OPTpagesize{6in,9in}   % Page size
+\def\OPTpagesize{4.8in,7.9in}   % Page size
 \documentclass[12pt]{report}
 \usepackage[hyphens]{url}
 \usepackage[

src/CubicalHott/Chapter2.agda

@@ -17,9 +17,7 @@ module lemma211 where
 
 module lemma212 where
   lemma : {A : Type l} → {x y z : A} → x ≡ y → y ≡ z → x ≡ z
-  lemma {x = x} p q i = hcomp
-    (λ j → λ { (i = i0) → x ; (i = i1) → q j })
-    (p i)
+  lemma {x = x} p q i = hcomp (λ j → λ { (i = i0) → x ; (i = i1) → q j }) (p i)
 
 module lemma214 where
   private

src/HottBook/Chapter6.lagda.md

@@ -480,4 +480,6 @@ module Pushout where
     Pushout : {A B C : Set} → (f : C → A) → (g : C → B) → Set
 
   syntax Pushout A B C = A ⊔[ C ] B
-```
+```
+  
+## asdf

src/VanDoornDissertation/HoTT/LongExactSequence.agda

@@ -1,4 +0,0 @@
-{-# OPTIONS --cubical --safe #-}
-
-module VanDoornDissertation.HoTT.LongExactSequence where
-