v1.0.0

New

• Align reductions from application to ⊥ with the paper (#418, #435)
• Support enabling/disabling particular atoms (#426)
• Support custom rules (#432)
  • Test ruleset streams.yaml with the example rule equipped with a passing test, matching #423 (comment)
  • Allow rules to go inside abstract objects (and add explicit apply_in_abstract_subformations option to maintain correctness for yegor.yaml rules)
  • Support tail patterns (restricted one-hole contexts)
    • Matching against objects inside dispatch
    • Matching against objects inside application (left only)
  • Properly generate fresh names
  • Allow explicit forall to keep track of all metavariables for extra safety (force in the future, see #441).
  • Distinguish types of metavariables for extra safety.

Changes and fixes

• Update decoration rule (#420)
• Generalize Φ-dispatch to rewrite Φ instead of Φ.a (#419)

Documentation and maintenance

• Update EO to 0.38.4 (#426)