mathjax config
new post, port typing rules from nominal logic paper
wip
latest