4 Commits

Author	SHA1	Message	Date
Madeleine Sydney Ślaga	e1363f60ab	feat(emacs): agda __cubical file template	2025-11-18 13:57:20 -07:00
Madeleine Sydney Ślaga	c5b32b9acc	blah	2025-09-05 20:49:09 -06:00
Madeleine Sydney	a68f69c2e0	refactor(emacs): Update Nix module snippet	2025-04-12 18:19:12 -06:00
Madeleine Sydney	ef9943b707	blah	2025-03-27 05:56:05 -06:00