Hi all, I've written a very basic rlwrap filter for using Poly/ML from the command line. Currently, it does tab-completion for globals and expands two macros that are useful for reading off info about signatures and structures:
?s FOO ====> signature SIG = FOO; ?S Foo ====> structure Str = Foo; It's available here: https://github.com/akissinger/sublime-polyml/blob/master/poly_filter.pl Obviously there are many ways this could be enhanced. If you have good ideas, let me know, or fork the repo yourself on github. Best, Aleks Kissinger _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
