new | ask | show | jobs
masklinn 2 days ago  [ - ]

> all the correctness

When did OCaml get affine types? Or unique references?

zozbot234 2 days ago  [ - ]

https://oxcaml.org/