6 ms·

I quite enjoyed programming in OCaml.

• zeckalpha 4y ago
  Same, but the math system is strongly typed and doesn't have what the parent is talking about. There's more than one way to type a math system.