@raulraja
Interested in AI, LLMs, Functional Programming & Formal verification. @arrow_kt maintainer. Be kind.