Merge pull request #494 from matthew-healy/even-odd-spacing

Align type definitions in even and odd example
2020-07-16 19:35:56 +01:00 · 2020-07-16 19:35:56 +01:00 · b6b128c337
commit b6b128c337
parent f1ef20e35c 2a620487f6
1 changed files with 1 additions and 1 deletions
--- a/src/plfa/part1/Relations.lagda.md
+++ b/src/plfa/part1/Relations.lagda.md
@ -673,7 +673,7 @@ data even where

 data odd where

-  suc   : ∀ {n : ℕ}
+  suc  : ∀ {n : ℕ}
    → even n
      -----------
    → odd (suc n)