[pre-commit.ci] auto fixes from pre-commit.com hooks

pre-commit-ci[bot] · pre-commit-ci[bot] · commit 305f9fa2c079 · 2025-10-24T20:02:55.000Z
for more information, see https://pre-commit.ci
diff --git a/src/plfa/backmatter/Tips.md b/src/plfa/backmatter/Tips.md
@@ -208,4 +208,4 @@ data Tree (A : Set) : ℕ → Set where
 
 Now you can still get the information about the sum by matching on the proof, but Agda has an easier time.
 
-Conor McBride coined the term green slime in reference to the boom of hazardous green slime in 1970s science fiction due to the advent of colour television.
+Conor McBride coined the term green slime in reference to the boom of hazardous green slime in 1970s science fiction due to the advent of colour television.

Original file line number	Diff line number	Diff line change
`@@ -208,4 +208,4 @@ data Tree (A : Set) : ℕ → Set where`
`208`	`208`
`209`	`209`	`Now you can still get the information about the sum by matching on the proof, but Agda has an easier time.`
`210`	`210`
`211`		`-Conor McBride coined the term green slime in reference to the boom of hazardous green slime in 1970s science fiction due to the advent of colour television.`
	`211`	`+Conor McBride coined the term green slime in reference to the boom of hazardous green slime in 1970s science fiction due to the advent of colour television.`