{"type": "article", "title": "Like Terraform, but in Lean 4", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/like-terraform-but-in-lean-4", "original_source": "https://ngrislain.github.io/blog/2026-9-6-like-terraform-but-in-lean-4/", "published": "2026-09-06T00:00:00+00:00", "accessed": "2026-09-07", "id": "like-terraform-but-in-lean-4"}