[MLton-user] ANN: ml-editline v0.1

[Matthew Fluet]

On Fri, 30 Nov 2007, Dave Herman wrote:
> I'm happy to announce the first release of ML-editline, a library for adding 
> command-line editing functionality to MLton applications, akin to GNU 
> Readline. ML-editline does /not/ link statically to or redistribute any GPL 
> software, however, and is provided with a permissive MIT license.
>
> Feel free to download and try out ML-editline:
>
>    http://www.ccs.neu.edu/home/dherman/editline.html
>
> I welcome any and all feedback -- questions, comments, suggestions, or even 
> offers to contribute! :)

This is a pretty cool little library.  A beautiful little interface, and a 
lot of functionality.  (Admittedly, I've found rlwrap a good solution 
for most situations where a command-line-interface program could benefit 
from this sort of editting.)