3 commits

Author	SHA1	Message	Date
Guanran Wang	8187a57f01	aristotle: cleanup	2024-07-20 17:04:43 +08:00
Guanran Wang	fa8108f522	flake: unbreak nix flake check	2024-07-20 17:04:42 +08:00
Guanran Wang	bd7f51b7b1	treewide: cleanup	2024-07-20 17:04:40 +08:00