Moonpool and OCaml5 in Imandrax

Posted by todsacerdoti on Friday November 14, 2025 @10:22AM
from the docs.imandra.ai dept.

https://docs.imandra.ai/imandrax/blog/2025-11-12-moonpool-in-imandrax/

( 1 comment | 5 points | on HN )

Re:Moonpool and OCaml5 in Imandrax by specialgoodness on Friday November 14, 2025 @12:15PM (#45929003)

As an insider and major user of this effort in ImandraX, I must say: Moonpool and OCaml5 concurrency have been an absolute game-changer! Awesome read.

[ Parent | on HN ]