Hello,
I discovered Agentica which is branded to be an “Agentic AI Framework enhanced by TypeScript compiler skills”.
OCaml and ReasonML are by design more powerful in types. Does anyone see any opportunity for recent progress in Agentic AI?
Best,
I might be wrong, but I think this is largely what Imandra is trying to do.