http://www.oilshell.org has a bunch of good discussion around "new language", difficulty of parsing http://asciimath.org/