Merge pull request #67 from murilogiacometti/patch-1

Remove unmatched "\end{code}"
2018-10-02 12:02:05 +01:00 · 2018-10-02 12:02:05 +01:00 · ba07c0a4ef
commit ba07c0a4ef
parent faf8c24f89 bbf02c3757
1 changed files with 0 additions and 1 deletions
--- a/src/plfa/Relations.lagda
+++ b/src/plfa/Relations.lagda
@ -713,7 +713,6 @@ and back is the identity.
    ---------------
    to (from x) ≡ x

-\end{code}
 (Hint: For each of these, you may first need to prove related
 properties of `One`.)