Docker
#docker
MacでDocker環境を構築
Docker/Getting Started
DockerでMinCamlの例のレイトレを動かす
DockerでRISC-Vのgccを動かす