12/12/14 18:15, Ian Zimmerman wrote:
On Fri, 12 Dec 2014 14:17:27 +0100 (CET),
Makarius makar...@sketis.net wrote:
Makarius Back to the original question: a public version of the
Makarius aforementioned GTK C bindings for Poly/ML would be great.
Agreed, so could someone ping Phil Clayton about
On Fri, 12 Dec 2014 06:25:06 -0800,
Lucas Dixon lucas.di...@gmail.com wrote:
Lucas I had a student project writing a SCRIPT tag interpreter for
Lucas PolyML as a firefox add-on:
Lucas https://addons.mozilla.org/en-US/firefox/addon/polychrome/
Lucas (PolyChrome)
I tried to add the polychrome
Ian Zimmermann wrote:
Personally I start to feel that UI tookits of this kind may be a dead end,
and Web interfaces may be the only solution. If only that didn't require
learning Javascript :-(
How about using smltojs?
http://www.smlserver.org/smltojs/
- Gergely
I had a student project writing a SCRIPT tag interpreter for PolyML as a
firefox add-on: https://addons.mozilla.org/en-US/firefox/addon/polychrome/
(PolyChrome)
This let you do some HTML-based UI.
I actually think that HTML5, especially Polymer, provides a pretty good way
to write cross-platform
On Fri, 12 Dec 2014 14:17:27 +0100 (CET),
Makarius makar...@sketis.net wrote:
Makarius Back to the original question: a public version of the
Makarius aforementioned GTK C bindings for Poly/ML would be great.
Agreed, so could someone ping Phil Clayton about it? I am too shy
(having been given
On Tue, 9 Dec 2014 00:02:24 +0100 (CET),
Richard Molitor gattscha...@googlemail.com wrote:
Richard So you might want to try just wrapping relevant parts of
Richard e.g. Gtk yourself and see how far you can get (don't know how
Richard wrapping C++ for getting Qt would work)
There was a project