3 ms·
Like Terraform, but in Lean 4
- nylonstrung 25d agoVery 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 24d agoThank 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.