ISSUE 15: texvc is written in Ocaml
Ocaml is best available language for writing interpreters for special purpose languages because: * it is really fast, comparable in performance to "traditional" compiled languages with GC like Java, and in cases where GC doesn't introduce much overhead, to C/C++ * it doesn't segfault * it has yacc/lex * it has advanced symbolic processing functionality * it can do a lot to ensure correctness of programs and programs in Ocaml are very easy to reason about (texvc doesn't contain single variable) * programs can be written at much higher level, so developement is faster, yet low level functionality is also available if needed.
I hope this explanation in enough for you.
To learn more about Ocaml visit Polish Wikipedia, in particular: http://pl.wikipedia.org/wiki/Ocaml http://pl.wikipedia.org/wiki/Ocamlyacc
ISSUE 16: this pseudo-TeX is very incomplete. Please tell me what functionality do you need (sums/integrals come to mind ...).
ISSUE 17: texvc uses double-dollar math, not single-dollar math. It uses more space but looks nicer.