Loosely ordered with the commands I use most towards the top. Sublime also offer full documentation.
Ctrl+C | copy current line (if no selection) |
Ctrl+X | cut current line (if no selection) |
Ctrl+⇧+K | delete line |
Ctrl+↩ | insert line after |
(module+ test | |
(check-equal? (L1→L2 '(L1: var +)) (compiled:L2 '((L2: closure make_add)) '())) | |
(check-equal? (L1→L2 '(L1: var 3)) (compiled:L2 '((L2: variable 3)) '())) | |
(check-equal? (L1→L2 '(L1: λ 0 (L1: var 0))) | |
(compiled:L2 '((L2: closure lambda_0)) '((lambda_0 ((L2: variable 0)))))) | |
(check-equal? (L1→L2 '(L1: λ 1 (L1: λ 0 (L1: var 0)))) | |
(compiled:L2 '((L2: closure lambda_1)) | |
'((lambda_1 ((L2: closure lambda_0))) | |
(lambda_0 ((L2: variable 0)))))) | |
(check-equal? (L1→L2 '(L1: λ 2 (L1: λ 1 (L1: λ 0 (L1: var 2))))) |
Loosely ordered with the commands I use most towards the top. Sublime also offer full documentation.
Ctrl+C | copy current line (if no selection) |
Ctrl+X | cut current line (if no selection) |
Ctrl+⇧+K | delete line |
Ctrl+↩ | insert line after |
Loosely ordered with the commands I use most towards the top. Sublime also offer full documentation.
Ctrl+C | copy current line (if no selection) |
Ctrl+X | cut current line (if no selection) |
Ctrl+⇧+K | delete line |
Ctrl+↩ | insert line after |