ynishi/docker-sml repository overview

docker build -t sml:latest .

docker run --rm -it ynishi/docker-sml
# or local build
docker run --rm -it sml

docker run -it --name sml ynishi/docker-sml || docker start -i sml

docker run --rm -it -e RLWRAP_OPTS="-s 10000" ynishi/docker-sml

echo "fun x = {x}" > test.sml
docker run --rm -it -v $(pwd):/app ynishi/docker-sml
- use "test.sml";
[opening test.sml]
val id = fn : 'a -> 'a
val it = () : unit
- id 1;
val it = 1 : int

docker run --rm -it --entrypoint=bash ynishi/docker-sml