It looks like a great way to turn some OCaml tutorials into notebooks. It misses the full editor experience but can also include information on dune, installing libraries using opam, etc. Despite improvements in the platform support, my experience has been that we still spend a significant chunk of time on installation at the start of the tutorial hour due to several factors - windows, poor conference wifi, etc. This can alleviate some of the pain.
It looks like one can run arbitrary programs in Google colab: https://colab.research.google.com/github/philzook58/philzook58.github.io/blob/master/pynb/cbmc_tut.ipynb.
It looks like a great way to turn some OCaml tutorials into notebooks. It misses the full editor experience but can also include information on dune, installing libraries using opam, etc. Despite improvements in the platform support, my experience has been that we still spend a significant chunk of time on installation at the start of the tutorial hour due to several factors - windows, poor conference wifi, etc. This can alleviate some of the pain.
Here is a suggestion for an OCaml tutorial that can be turned into a notebook: https://github.com/sudha247/learn-ocaml-workshop.