A CAS that interprets text files and outputs a LaTeX pdf. Right now, it's being exported from python to golang.