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!
­@dinosaure that gives me croc & dat vibes, is it different? also where can I find the repo?
@hyphen We took a lot of inspiration from croc indeed 🙂 but we tried to go further on some points (especially portability). The repository is available here: https://github.com/dinosaure/bob
