I've built a simple Android app for Poly/ML using a Java console window
and a Poly/ML executable built with the native development kit. It can
be found on the SourceForge site at
http://sourceforge.net/projects/polyml/files/polyml/5.5.1/androidpoly-5.5.1.A1.apk
I'd be interested in any feedback and also to have some idea how
practical it is to run Poly/ML on Android. One of the problems is that
Android has a habit of killing processes once they are idle and it is
the responsibility of the process to save its data.
Depending on feedback and the number of downloads I may consider putting
it on the Android store and perhaps improving it. Of course, if anyone
else is interested in working on it the source code is in the SVN
repository.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml