search

ocaml-multicore / eio

Effects-based direct-style IO for multicore OCaml
Other
529 stars 67 forks source link

Link to verification work in docs #682

Closed talex5 closed 5 months ago

talex5 commented 5 months ago

Link to the work done by @addap and @clef-men.