|
|
|
|
|
|
by cosmos64
313 days 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. |
|
|