port exercise R.2.9

This commit is contained in:
2025-12-27 18:25:14 +01:00
parent 8eafa372a2
commit 7f29627348
3 changed files with 72 additions and 10 deletions

View File

@@ -1,4 +1,9 @@
[default.extend-words]
iddeal = "ideal"
iddeals = "ideals"
allpha = "alpha"
# strings that are not a typo:
thm = "thm"
# equations stuff