MPL-v0.5.3 Release Notes (Jan 13, 2025)
Just a small fix. Updating the Dockerfile to use the most recent release of MLton, and fixing a error with building the Docker image.
Just a small fix. Updating the Dockerfile to use the most recent release of MLton, and fixing a error with building the Docker image.