Be cautious when using this add-on, as there are currently no limits on what Standard ML code can be executed on the client's machine.
To use this extension you need to have PolyML (http://polyml.org/) installed on your machine.
PolyChrome was developed by Karolis Narkevicius and Lucas Dixon. We'd like to thank EPSRC Platform grant The Integration and Interaction of Multiple Mathematical Reasoning Processes", and the Edinburgh DReaM group for supporting this work. We'd also like to thank David Matthews for his input, ML wizardry, and tireless maintenance of PolyML.