Merge pull request #9 from kubukoz/add-law-parameter

Add mising parameter to a law
isovector · Nov 9, 2023 · af40a63 · af40a63
2 parents eeab5a0 + 08619b6
commit af40a63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prose/part1/3-scavenge-design.markdown b/prose/part1/3-scavenge-design.markdown
@@ -1504,7 +1504,7 @@ consider how `sub` distributes over `clue`. Equally reasonably, we can give the
 law:
 
 ```{.haskell law="clue/sub"}
-∀ (k1 :: Clue) (k2 :: Clue).
+∀ (k1 :: Clue) (k2 :: Clue) (c :: Challenge).
   clue (sub k1 k2) c = clue k1 (clue k2 c)
 ```