Login
You're viewing the discuss.systems public feed.
  • VojtechStepVojtechStep@mathstodon.xyz
    Oct 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 refactoring

    What a world

    💬 1🔄 0⭐ 0

Replies

  • VojtechStepVojtechStep@mathstodon.xyz
    Oct 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

    💬 0🔄 0⭐ 0