4 ms·Learn OCaml is a cool platform to play with OCaml and I'm excited about their work on TLA+ !by gjadi 5y agoLearn OCaml is a cool platform to play with OCaml and I'm excited about their work on TLA+ !