TODO.md

TODO

General

• selection where parent is end of selection (dynamic end)
• moving up/down lines with arrow keys
• editing variables names
• cut, copy, paste with term or selection
• hole terms
• inserting stuff, over holes and non-holes
• action: go to next hole (Tab)
• action: indent (Enter)
• application handles (little squares between arguments)
• action: wrap in lam, app, let (shortcuts)
• action: unwrap lam, app, let (Backspace)

Henry

• use GenTerm as a "tree view"
• state modes: top (term), cursor (path, term), select (path, path, term)
• mouse mover highlighting
• mouse select
• propper left/right arrow key navigation
• visual bug where parentheses are displayed around the applicant in a partial application if you start a selection there (actually this is fine)

Jacob