Search results

Error recovery

Status: Open.

#88 In stefnotch/aftermath-editor;

· stefnotch opened on Aug 19, 2025

generational indices

Status: Open.

#87 In stefnotch/aftermath-editor;

· stefnotch opened on Aug 19, 2025

Faster layouting

Status: Open.

#86 In stefnotch/aftermath-editor;

· stefnotch opened on Jul 23, 2025

Correctly do undo-redo

Status: Open.

#85 In stefnotch/aftermath-editor;

· stefnotch opened on May 21, 2025

Operator Rendering Rework

Status: Open.

#84 In stefnotch/aftermath-editor;

· stefnotch opened on Apr 19, 2025

Add binding power

Status: Open.

#83 In stefnotch/aftermath-editor;

· stefnotch opened on Sep 29, 2024

Try out Lezer

Status: Open.

#82 In stefnotch/aftermath-editor;

· stefnotch opened on Sep 5, 2024

LaTeX

Status: Open.

#81 In stefnotch/aftermath-editor;

· stefnotch opened on Aug 3, 2024

Faster DOM

Status: Open.

#80 In stefnotch/aftermath-editor;

· stefnotch opened on Jul 19, 2024

datalog

Status: Open.

#79 In stefnotch/aftermath-editor;

· stefnotch opened on Jul 10, 2024

flat ast

Status: Open.

#78 In stefnotch/aftermath-editor;

· stefnotch opened on May 30, 2024

Salsa?

Status: Open.

#77 In stefnotch/aftermath-editor;

· stefnotch opened on Jan 10, 2024