Yet another fix to confluence (#975)

jsiek · web-flow · commit 1655adc3152c · 2024-03-06T20:55:12.000Z
* fix notes again

* removed another sentence
diff --git a/src/plfa/part2/Confluence.lagda.md b/src/plfa/part2/Confluence.lagda.md
@@ -409,8 +409,7 @@ performing enough beta reductions in parallel.
 
 However, a simpler approach is to perform as many beta reductions in
 parallel as possible on `M`, say `M ⁺`, and then show that `N` also
-parallel reduces to `M ⁺`. This is the idea of Takahashi's _complete
-development_. The desired property may be illustrated as
+parallel reduces to `M ⁺`. The desired property may be illustrated as
 
         M
        /|

Original file line number	Diff line number	Diff line change
`@@ -409,8 +409,7 @@ performing enough beta reductions in parallel.`
`409`	`409`
`410`	`410`	`However, a simpler approach is to perform as many beta reductions in`
`411`	`411`	parallel as possible on `M`, say `M ⁺`, and then show that `N` also
`412`		-parallel reduces to `M ⁺`. This is the idea of Takahashi's _complete
`413`		`-development_. The desired property may be illustrated as`
	`412`	+parallel reduces to `M ⁺`. The desired property may be illustrated as
`414`	`413`
`415`	`414`	`M`
`416`	`415`	`/\|`