wtf

.gitignore

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

.ignore

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

resources/VanDoornDissertation/dissertation.tex

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

src/CubicalHott/Chapter2.agda

@@ -17,7 +17,9 @@ 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,6 +480,4 @@ 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

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