Smlpkg: Generic package manager for Standard ML libraries and programsgithub.com/diku-dk7 pointsAthas6 years ago