Ravenbrook/mlworks — pull request #11 by ellerh (2014-10-22 15:46:57+00:00)
Title: Implement VectorSlice

VECTOR_SLICE and VectorSlice were missing. Add an implmenentation;
perhaps not particulary efficient, though.

* basis/vector_slice.sml, basis/__vector_slice.sml: New files.
* basis/array.sml, basis/__array.sml: Implement Array.vector.
* basis.mlp, basis/require_all.sml, images/GNUmake: Mention new files.