Github Codespaces enable setting up a virtual machine pre-configured with a development environment. This repository is a template of a Codespaces configuration /.devcontainer/devcontainer.json and /.devcontainer/Dockerfile for OCaml development.
Github Codespaces enable setting up a virtual machine pre-configured with a development environment. This repository is a template of a Codespaces configuration /.devcontainer/devcontainer.json and /.devcontainer/Dockerfile for OCaml development.