Madeleine Sydney Ślaga a5a5689fcb feat(emacs): agda faces

2025-12-24 16:52:08 -07:00

..

home

feat(emacs): agda faces

2025-12-24 16:52:08 -07:00

nixos

chore: disable stylix fonts

2025-11-18 13:56:55 -07:00