From b7dc29f51011c2f819dcb3abbab71f889a34675e Mon Sep 17 00:00:00 2001 From: Matthias Geier Date: Fri, 12 Jan 2024 21:59:00 +0100 Subject: [PATCH] Fix a comment --- content/articles/type-system-arithmetic.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/articles/type-system-arithmetic.md b/content/articles/type-system-arithmetic.md index efc1e81..14fe168 100644 --- a/content/articles/type-system-arithmetic.md +++ b/content/articles/type-system-arithmetic.md @@ -229,7 +229,7 @@ impl Sub for (Zero, Zero) { // 0 - 0 = 0 type Diff = Zero; } -impl Sub for (Succ, Zero) { // x = 0 = 0 +impl Sub for (Succ, Zero) { // x - 0 = x type Diff = Succ; }