diff --git a/roles/smlnj/files/ml b/roles/smlnj/files/ml new file mode 100644 index 0000000..31caf23 --- /dev/null +++ b/roles/smlnj/files/ml @@ -0,0 +1,2 @@ +#!/bin/bash +rlwrap sml "$@"