Comment by nylonstrung

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