3 commits

Author	SHA1	Message	Date
Yan Lin	7b37f017ba	Minor adjustment	2025-05-21 21:02:51 +02:00
Yan Lin	01a9b1ac4d	Update nix shell config	2025-05-16 19:35:03 +02:00
Yan Lin	ed9566d057	First commit	2025-05-13 10:48:42 +02:00