~subsetpark/subsetpark

ac79ff1f88326f6bfe89dbc9540fc15ff318a67a — Zach Smith 5 months ago b72209c
Drop the 'of course', it's redundant
1 files changed, 1 insertions(+), 1 deletions(-)

M posts/zettelkasten.md
M posts/zettelkasten.md => posts/zettelkasten.md +1 -1
@@ 181,7 181,7 @@ deeper ways to think about parts of a program like its core primitives, its
vocabulary, its invariants, its edge cases, its sequence of operations, and so
on, and we rarely as a field avail ourselves of them.

There's the whole subfield of [formal methods][fm], of course, of course, but I
There's the whole subfield of [formal methods][fm], of course, but I
think you'll agree that the above document is business casual methods at best.
This is Formal Methods Ultralite, and I think it has some worth; in fact I
think part of its worth is how lightweight it is. I banged that out in an hour.