Issues

• Lean's extensible parsers

  stefnotch/aftermath-editor#89 · Filter by author stefnotch opened on Oct 2, 2026

• Error recovery

  stefnotch/aftermath-editor#88 · Filter by author stefnotch opened on Aug 19, 2025
  1

• generational indices

  stefnotch/aftermath-editor#87 · Filter by author stefnotch opened on Aug 19, 2025

• Faster layouting

  stefnotch/aftermath-editor#86 · Filter by author stefnotch opened on Jul 23, 2025

• Correctly do undo-redo

  stefnotch/aftermath-editor#85 · Filter by author stefnotch opened on May 21, 2025

• Operator Rendering Rework

  stefnotch/aftermath-editor#84 · Filter by author stefnotch opened on Apr 19, 2025

• Add binding power

  stefnotch/aftermath-editor#83 · Filter by author stefnotch opened on Sep 29, 2024

• Try out Lezer

  stefnotch/aftermath-editor#82 · Filter by author stefnotch opened on Sep 5, 2024

• LaTeX

  stefnotch/aftermath-editor#81 · Filter by author stefnotch opened on Aug 3, 2024

• Faster DOM

  stefnotch/aftermath-editor#80 · Filter by author stefnotch opened on Jul 19, 2024

• datalog

  stefnotch/aftermath-editor#79 · Filter by author stefnotch opened on Jul 10, 2024
  1

• flat ast

  stefnotch/aftermath-editor#78 · Filter by author stefnotch opened on May 30, 2024
  1

• Salsa?

  stefnotch/aftermath-editor#77 · Filter by author stefnotch opened on Jan 10, 2024
  1

• Bad notation

  stefnotch/aftermath-editor#76 · Filter by author stefnotch opened on Oct 31, 2023

• Combine moving and deleting code

  stefnotch/aftermath-editor#72 · Filter by author stefnotch opened on Sep 22, 2023

• Parser Rule Collections should mimic Bevy's Plugin Dependencies

  stefnotch/aftermath-editor#71 · Filter by author stefnotch opened on Sep 20, 2023

• _^ is sensible, while ^_ is not always reasonble

  design
  stefnotch/aftermath-editor#69 · Filter by author stefnotch opened on Aug 9, 2023

• Parsing nested constructs

  stefnotch/aftermath-editor#68 · Filter by author stefnotch opened on Aug 9, 2023
  1

• Make Form Associated

  enhancement
  stefnotch/aftermath-editor#67 · Filter by author stefnotch opened on Jul 25, 2023

• Multiple Carets and Multiple Users

  future
  stefnotch/aftermath-editor#66 · Filter by author stefnotch opened on Jul 24, 2023

• Testing formulas and odd syntax

  futuretesting
  stefnotch/aftermath-editor#64 · Filter by author stefnotch opened on Jul 13, 2023

• Demo improvements

  documentationenhancement
  stefnotch/aftermath-editor#63 · Filter by author stefnotch opened on Jul 6, 2023
  1

• Improve Readme

  documentationenhancement
  stefnotch/aftermath-editor#61 · Filter by author stefnotch opened on Jun 14, 2023

• Use Cases

  future
  stefnotch/aftermath-editor#60 · Filter by author stefnotch opened on Jun 12, 2023

• Semantic Annotation Rendering

  enhancement
  stefnotch/aftermath-editor#59 · Filter by author stefnotch opened on May 24, 2023
  1