[polyml] Poly/ML output in LaTeX

I wrote a simple LaTeX package [1,2] for exporting code snippets to validate them in an external tool and to import the resulting inferred types and error messages back into the document. Someone contacted me about supporting Poly/ML as an external tool. To do that properly, I need to resolve

Re: [polyml] FW: Poly/ML output in LaTeX

* michael.norr...@data61.csiro.au [2017-11-09 11:20 +]: On 9/11/17, 22:20, "Norrish, Michael (Data61, Acton)" wrote: Start up with poly –q and then emit a PolyML.print_depth 100 to get it back to printing things back to the user? Thanks Michael. Tim.