TERRAFORM IN LEAN 4: IF IT COMPILES, IT WILL LIKELY DEPLOY

Summary from the TLDR newsletter

infra is an infrastructure-as-code tool that does what Terraform does. Users declare what resources they want, and infra looks at what their cloud accounts actually contain and reconciles the difference. This post details how its developer created the tool in two weekends in Lean 4, the problems it solves, and how the developer solved these problems.