--
You received this message because you are subscribed to the Google Groups "iodide-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to iodide-dev+unsubscribe@googlegroups.com.
To post to this group, send email to iodid...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/iodide-dev/745e56c8-b51a-4be7-9524-fbf96d2e2312%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Hi,Just wanted to say I updated the plugin to work with the latest version of iodide.Demo here: https://alpha.iodide.io/notebooks/1627/With the exception of a little syntax coloring issue (https://github.com/iodide-project/iodide/issues/1728) it works just fine.
Best,Louis
Le 5 sept. 2018 à 21:31 +0200, Brendan Colloran <bcol...@mozilla.com>, a écrit :
This is phenomenally cool Louis! Great work!
On Thu, Aug 30, 2018 at 10:41 AM, Louis Abraham <abrah...@gmail.com> wrote:
Hi,I worked on OCaml support for Iodide, and I find the current version usable: https://louisabraham.github.io/domical/ (code)The performance is better than the native interpreter (I thought it deserved some bold font)and it loads faster than it downloads with my sh***y ADSL connection (the js weights 2.8 Mo).I added a special output handler that separates stderr, stdout and the return value of the cell.JS bindings in OCaml might be possible, but I don't think it is desirable for the momentbecause the strong type system of OCaml would make the code very ugly.If somebody really needs it, please tell me.Big thanks to Michael Droettboom who provided great support!Cheers,LouisP.S.: If case you are curious, Domical is an anagram of iodcaml.
--
You received this message because you are subscribed to the Google Groups "iodide-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to iodide-dev+...@googlegroups.com.
To post to this group, send email to iodid...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/iodide-dev/745e56c8-b51a-4be7-9524-fbf96d2e2312%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "iodide-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to iodide-dev+...@googlegroups.com.
To post to this group, send email to iodid...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/iodide-dev/e16c0e7f-7821-43cd-93b3-44a3d97a3358%40Spark.
For more options, visit https://groups.google.com/d/optout.
