msyds b9183fd7d4 fix(emacs): require agda config

2025-12-01 12:16:50 -07:00

..

crumb

chore(firefox): what the hell

2025-12-01 12:13:43 -07:00

msyds

fix(emacs): require agda config

2025-12-01 12:16:50 -07:00