2026-06-02
> 2026-06-02: note: Add author to wrap up note
diff --git a/note/wrap-up-little-proofs.md b/note/wrap-up-little-proofs.md
index 7262201..beface9 100644
--- a/note/wrap-up-little-proofs.md
+++ b/note/wrap-up-little-proofs.md
@@ -1,13 +1,13 @@
---
-title: "Wrap up: Little proofs"
+title: "Wrap up: Little proofs by Matthew Prast"
date: 2026-01-15
lang: en
-description: "Wrap up: Little proofs"
+description: "Wrap up: Little proofs by Matthew Prast"
keywords: wrap-up
rights: CC0 1.0
---
-Wrap up of "[To be a better programmer, write little proofs in your head](https://blog.get-nerve.com/to-be-a-better-programmer-write-little-proofs-in-your-head/)".
+Wrap up of "[To be a better programmer, write little proofs in your head](https://blog.get-nerve.com/to-be-a-better-programmer-write-little-proofs-in-your-head/)" by Matthew Prast.
## Monotonicity
- Which parts are monotonic?
> 2026-06-02: Add wrap-up keyword
diff --git a/note/wrap-up-little-proofs.md b/note/wrap-up-little-proofs.md
index 37cecfc..7262201 100644
--- a/note/wrap-up-little-proofs.md
+++ b/note/wrap-up-little-proofs.md
@@ -3,7 +3,7 @@ title: "Wrap up: Little proofs"
date: 2026-01-15
lang: en
description: "Wrap up: Little proofs"
-keywords:
+keywords: wrap-up
rights: CC0 1.0
---