To try the thousands of add-ons available here, download Mozilla Firefox, a fast, free way to surf the Web!Close
Welcome to Firefox Add-ons.
Choose from thousands of extra features and styles to make Firefox your own.Close
About this Add-on
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.
Join the development or report bugs at https://github.com/KidkArolis/PolyChrome
This add-on is not compatible with your version of Firefox because of the following: