Turn it into a package #3
Description
Now that we have https://github.com/diku-dk/smlpkg, could this repository be turned in to a library?
{{ message }}
Now that we have https://github.com/diku-dk/smlpkg, could this repository be turned in to a library?