3 commits

Author	SHA1	Message	Date
Guanran Wang	a57e2d3050	fixup! aristotle: cleanup	2024-07-17 11:36:13 +08:00
Guanran Wang	0a5f07bef0	treewide: cleanup	2024-07-17 11:35:59 +08:00
Guanran Wang	8a6279673d	aristotle: cleanup	2024-07-17 10:16:20 +08:00