Like Terraform, but in Lean 4

Posted by ngrislain 1 day ago

Counter7Comment2OpenOriginal

Comments

Comment by nylonstrung 12 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

Comment by ngrislain 8 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.