Beyond structural editing: semantic editing! https://reasonablypolymorphic.com/blog/towards-tactics/index.html
(Uses Coq-style tactics.)
miniblog.
Related Posts
It seems really odd to me that git uses 'cached' terminology for staging. For example, `git add somefile.rs; git diff --cached`.
Caching implies state that you don't mind losing. There's very little state I want to lose in version control!
Installed Linux on a new laptop yesterday, and needed to find a USB stick in a dusty drawer.
The stick previously had Arch Linux Installer 2021 on it! I can't think of any other uses for the device these days.
Why do so few CLI tools use colour inside their error messages? For example, rustc uses colour well in the error display, but there's no special styling of the content in backticks.
By contrast, markdown website almost always style backtick text differently from prose.
E.g. `field` is not specially styled here.
