plug scala meta in the front that starts with source code and write a converter that converts the corresponding trees to our trees. Plus wrap it all up as a full circle prototype.
This sounds a bit nebulous, but I think that the deliverable here can actually be pretty clearly described: a prototype that can go all the way from source to output latex via meta.
plug scala meta in the front that starts with source code and write a converter that converts the corresponding trees to our trees. Plus wrap it all up as a full circle prototype.