Skip to content

Instantly share code, notes, and snippets.

@JoshCheek
JoshCheek / .gitignore
Last active November 17, 2016 13:28
Symbolic simplification of a program / exploring Gödel's Incompleteness theorem and the halting problem
node_modules
@tjvr
tjvr / tosh.ne
Last active February 16, 2017 15:38
tosh for nearley
line -> thing {% id %}
thing -> block {% id %}
| r_parens {% id %}
| b_parens {% id %}
n -> n4 {% id %}