修正合并错误

Agda-zh · Mar 12, 2024 · 5d17034 · 5d17034
1 parent f60692f
commit 5d17034
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/plfa/part2/Confluence.lagda.md b/src/plfa/part2/Confluence.lagda.md
@@ -660,7 +660,6 @@ development_. The desired property may be illustrated as
        \|
         M⁺
 
-<!--
 where downward lines are instances of `⇛`, so we call it the _triangle
 property_.
 -->