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