TODO.md So much to do! But is any of it worthwhile? Todo project infra nix flake github action running test github action generating demo output Testing In Progress Better ux function tracing Done ✓ Initial prototype