Skip to content

Instantly share code, notes, and snippets.

View aiwen324's full-sized avatar
😅
Working from home

Yifei Ai aiwen324

😅
Working from home
  • University of Toronto
  • Toronto
View GitHub Profile
(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)))))
@aiwen324
aiwen324 / gist:440c3c05b55b5884a0afb269816fbbf2
Created April 4, 2017 06:59
Sublime Text 2 - Useful Shortcuts

Sublime Text 2 – Useful Shortcuts (PC)

Loosely ordered with the commands I use most towards the top. Sublime also offer full documentation.

Editing

Ctrl+C copy current line (if no selection)
Ctrl+X cut current line (if no selection)
Ctrl+⇧+K delete line
Ctrl+↩ insert line after
@aiwen324
aiwen324 / gist:fb04be5d33952da0226c7c90a0c93f1a
Created April 4, 2017 06:59
Sublime Text 2 - Useful Shortcuts

Sublime Text 2 – Useful Shortcuts (PC)

Loosely ordered with the commands I use most towards the top. Sublime also offer full documentation.

Editing

Ctrl+C copy current line (if no selection)
Ctrl+X cut current line (if no selection)
Ctrl+⇧+K delete line
Ctrl+↩ insert line after

Selection and Navigation

⌘D                Multi-select
⌘K,⌘D             Skip the current match and select the next one
⌘U                Soft Undo
⌘ + Ctrl + G      Select all occurences under cursor
⌘P                Jump to files
⌘L                Select Line
⌘ + Shift + L     Convert Selection to Multi-select

⌘ + Shift + J Select all lines at current indentation