pfitaxel

Docker image for learn-ocaml-client + GNU Emacs

Demo repo - automatically pushed from Docker Hub's build of learn-ocaml

Unofficial automated-build repository - see also https://hub.docker.com/r/ocamlsf/learn-ocaml

Automated build based on coqorg/base:bare (Debian 10 Slim + OPAM) + GNU Emacs (tty)