5 ms·
Lots of this, especially the tooling and ecosystem, improved considerably in the last couple of years. OCaml is a great language, as are others in the ML famil
by cosmos64 1y ago
Lots of this, especially the tooling and ecosystem, improved considerably in the last couple of years.
OCaml is a great language, as are others in the ML family.
Isabelle is the first language that has introduced the |> pipe character, I think.