Like Terraform, but in Lean 4 (ngrislain.github.io)

7 pointsby ngrislain2 days ago2 comments

nylonstrung a day 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 18 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.