3 commits

Author	SHA1	Message	Date
Guanran Wang	8a6279673d	aristotle: cleanup	2024-07-17 10:16:20 +08:00
Guanran Wang	2fd28cab95	flake: unbreak nix flake check	2024-07-12 07:59:21 +08:00
Guanran Wang	fe8227f279	treewide: cleanup	2024-07-10 07:50:22 +08:00