Typos - a statically typed document language and typesetting system based on the LuaTeX engine - View it on GitHub