VojtechStepVojtechStep@mathstodon.xyz
Oct 26, 2026, 3:37 PM> REBASE-i 242/288
I'm tired boss
Replies
- VojtechStepVojtechStep@mathstodon.xyzOct 27, 2026, 2:05 PM
The commit message: "Merge ... from new-syntax"
The commit contents: actually a squash, changes syntax (expected), reorders some predicates' arguments, general breaking changes refactoringWhat a world
- VojtechStepVojtechStep@mathstodon.xyzOct 28, 2026, 8:10 PM
You'd think that having "This file is generated by dune, edit dune-project instead" at the top of the opam file would lead to people editing dune-project instead. You'd be wrong