Looks amazing! Some time ago I wanted to write a Nix configuration dsl for an application I use. My effort halted due to lack of type checking, and implementin

Looks amazing! Some time ago I wanted to write a Nix configuration dsl for an application I use. My effort halted due to lack of type checking, and implementing one felt like too much effort which would never pay back. I'll give a try.