Looks very nice. I've recently written a bunch of Racket, which also encourages tests to be written alongside definitions, although they're not run as part of c

Looks very nice. I've recently written a bunch of Racket, which also encourages tests to be written alongside definitions, although they're not run as part of compilation. However, I've actually ended up with similar functionality, by packaging these scripts using Nix and having a dependency which runs the test suite and aborts on failure. It's nice to see more investigations going on into the nuances of programming "stages", rather than the usual compile vs interpret dogma. Another approach which seems similar in spirit is Zig's use of compile-time execution http://ziglang.org http://ziglang.org