DinosaureNow, #Bob can be used by anyone who understand the drag'n drop user interface on Windows! To celebrate, robur.io and me wrote an article about our #OCaml experience and #GADTs available here: https://blog.osau.re/articles/gadt_and_state_machine.html Bob is usable and our #MirageOS still alives!
Alan 🎲 
@dinosaure You should post about it on https://discuss.ocaml.org/ and I’ll make sure to include it in the next #ocaml weekly news