Skip to content

Latest commit

 

History

History
396 lines (317 loc) · 8.74 KB

yankpad.org

File metadata and controls

396 lines (317 loc) · 8.74 KB

Default

my_org_insert_link: cleverly insert a link copied to clipboard

$2 $0

begin: produce an org-mode block

s_org: src for org

$0

s_agda2: src for agda2

$0

s_any: src for any

$0

s_emacs-lisp: src for emacs-lisp

$0

s_shell: src for shell

$0

s_python: src for python

$0

s_haskell: src for haskell

$0

s_ruby: src for ruby

$0

s_ocaml: src for ocaml

$0

s_dot: src for dot

$0

s_latex: src for latex

$0

s_org: src for org

$0

s_js: src for js

$0

s_css: src for css

$0

s_sqlite: src for sqlite

$0

s_C: src for C

$0

is_org: inline source for org

src_org[:exports code]{$1} $0

is_agda2: inline source for agda2

src_agda2[:exports code]{$1} $0

is_any: inline source for any

src_any[:exports code]{$1} $0

is_emacs-lisp: inline source for emacs-lisp

src_emacs-lisp[:exports code]{$1} $0

is_shell: inline source for shell

src_shell[:exports code]{$1} $0

is_python: inline source for python

src_python[:exports code]{$1} $0

is_haskell: inline source for haskell

src_haskell[:exports code]{$1} $0

is_ruby: inline source for ruby

src_ruby[:exports code]{$1} $0

is_ocaml: inline source for ocaml

src_ocaml[:exports code]{$1} $0

is_dot: inline source for dot

src_dot[:exports code]{$1} $0

is_latex: inline source for latex

src_latex[:exports code]{$1} $0

is_org: inline source for org

src_org[:exports code]{$1} $0

is_js: inline source for js

src_js[:exports code]{$1} $0

is_css: inline source for css

src_css[:exports code]{$1} $0

is_sqlite: inline source for sqlite

src_sqlite[:exports code]{$1} $0

is_C: inline source for C

src_C[:exports code]{$1} $0

e_org: example for org

$0

e_agda2: example for agda2

$0

e_any: example for any

$0

e_emacs-lisp: example for emacs-lisp

$0

e_shell: example for shell

$0

e_python: example for python

$0

e_haskell: example for haskell

$0

e_ruby: example for ruby

$0

e_ocaml: example for ocaml

$0

e_dot: example for dot

$0

e_latex: example for latex

$0

e_org: example for org

$0

e_js: example for js

$0

e_css: example for css

$0

e_sqlite: example for sqlite

$0

e_C: example for C

$0

q_quote: quote

$0

v_verse: verse

c_center: center

$0

ex_export: export

p_parallel: parallel

d_details: details

ed_edcomm: edcomm

doc_documentation: documentation

def_latex-definitions: latex-definitions

ll_make_a_link: insert a link template

${1:`(let* ((τ (read-string “Link type: “)) (δ (read-string “Link Description: “)) (⊤ (if (s-contains? “:” τ) τ (s-concat τ “:”)))) (format ”%s” ⊤ δ))`} $0

os-command: ⌘ Operating System Keyboard Symbol

os_option: ⌥ Operating System Keyboard Symbol

os_alt: ⌥ Operating System Keyboard Symbol

os_control: ⌃ Operating System Keyboard Symbol

os_shift: ⇧ Operating System Keyboard Symbol

os_backspace: ⌫ Operating System Keyboard Symbol

os_delete: ⌫ Operating System Keyboard Symbol

os_delete_forward: ⌦ Operating System Keyboard Symbol

os_enter: ⏎ Operating System Keyboard Symbol

os_return: ⏎ Operating System Keyboard Symbol

os_escape: ⎋ Operating System Keyboard Symbol

os_tab_right: ⇥ Operating System Keyboard Symbol

os_tab_left: ⇤ Operating System Keyboard Symbol

os_caps_lock: ⇪ Operating System Keyboard Symbol

os_eject: ⏏ Operating System Keyboard Symbol

ll_console_log: Log some JS variables

console.log(“%c ******* LOOK HERE *******”, “color: green; font-weight: bold;”); console.log({ ${1:List the variables here whose values you want to log} }); $0

uuidgen: Insert the result of “uuidgen” and copy it to the clipboard

${1:`(-let [it (shell-command-to-string “uuidgen | tr ‘[:upper:]’ ‘[:lower:]’ | pbcopy; pbpaste”)] (message “Copied to clipboard, uuid: %s” it) it)`}

loop: Elisp’s for each loop

(dolist (${1:var} ${2:list-form}) ${3:body})

defun: Lisp functions

(cl-defun ${1:fun-name} (${2:arguments}) “${3:documentation}” $0)

cond: Elisp conditionals

(cond (${1:scenario₁} ${2:response₁}) (${3:scenario₂} ${4:response₂}))

fun: Function declaration with type signature

${1:fun-name} : ${2:arguments} $1 ${3:args} = ?$0

eqn_begin: Start a ≡-Reasoning block in Agda

begin ${1:complicated-side} $0≡⟨ ${3:reason-for-the-equality} ⟩ ${2:simpler-side} ∎

eqn_step: Insert a step in a ≡-Reasoning block in Agda

≡⟨ ${2:reason-for-the-equality} ⟩ ${1:new-expression} $0

reply_opinionated_pantomath: What to say to, e.g., an arrogant academic

Your certainty inspires me to continuing exploring, and I may arrive at your point of view, but I’m going to need more evidence first.

reply_em_dashes: Why use em dashes for parenthetical remarks?

According to the “Canadian Style Guide” (CSG):

The em is an expansive, attention-seeking dash. It supplies much stronger emphasis than the comma, colon or semicolon it often replaces. Positioned around interrupting elements, em dashes have the opposite effect of parentheses—em dashes emphasize; parentheses minimize.

From “A Logical Approach to Discrete Math” (LADM), page ix:

We place a space on one side of an em dash —here are examples— in order to help the reader determine whether the em dash begins or ends a parenthetical remark. In effect, we are creating two symbols from one. In longer sentences—and we do write long sentences from time to time—the lack of space can make it difficult to see the sentence structure—especially if the em dash is used too often in one sentence. Parenthetical remarks delimited by parentheses (like this one) have a space on one side of each parenthesis, so why not parenthetical remarks delimited by em dashes?

Interestingly, according to the CSG, there should be no space before or after an em dash. As such, it appears that the spacing is mostly stylistic; e.g., some people surround em-s with spaces on both sides. In particular, when em-s are unmatched, I make no use of additional space —indeed this form of one-sided parentheses without a space is how LADM is written, as can be seen at the top of page 3.

remark: top-level literate comment

{{{remark(${1:thoughts})}}} $0

my_name: User’s name

`user-full-name`

my_email: User’s email address

`user-mail-address`

my_github: User’s Github repoistory link

https://github.com/alhassy/

my_emacsdrepo: User’s version controlled Emacs init file

https://github.com/alhassy/emacs.d

my_blog: User’s blog website

https://alhassy.github.io/

my_webpage: User’s organisation website

http://www.cas.mcmaster.ca/~alhassm/

my_twitter: User’s Twitter profile

https://twitter.com/musa314

my_masters_thesis

A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets https://macsphere.mcmaster.ca/bitstream/11375/17276/2/thesis.pdf