Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- 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 Nixby nylonstrung