Rendered at 22:29:01 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
nylonstrung 9 hours ago [-]
Very cool, I think Lean has incredible power as a declarative config language that hasn't been realized yet. I've been exploring how to use it for system configuration ala Nix
ngrislain 5 hours ago [-]
Thank you, yes, absolutely, and it's also the perfect language for an AI agents. The more refined the type system, the tighter the feedback loop for the agent.