auto gitdoc commit

2024-04-22 02:43:58 +00:00 · 2024-04-22 02:43:58 +00:00 · c01f5b6524
commit c01f5b6524
parent f9502897f8
1 changed files with 1 additions and 1 deletions
--- a/src/HottBook/Chapter2.lagda.md
+++ b/src/HottBook/Chapter2.lagda.md
@ -317,7 +317,7 @@ idToEquiv {A} {B} p = func , equiv
        wtf2 : (func ∘ func-inv) ≡ wtf
        wtf2 = refl

-        wtf3 = J (λ A' B' p' → {!   !}) {!   !} A B p
+        wtf3 = J (λ A' B' p' → A' → A') (λ A' → id) A B p
      in {!    !}

    equiv = record