1 Jun
2012
1 Jun
'12
12:48 p.m.
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