5 commits

Author	SHA1	Message	Date
Natalie Marks	e430193714	Merge branch 'main' of github.com:nmarks413/nix-config	2025-04-01 16:53:55 -07:00
Natalie Marks	3451754834	add coq	2025-04-01 16:53:48 -07:00
Natalie	19bceadaf6	meow meow	2025-04-01 16:53:29 -07:00
Natalie	5acef4760c	make config work on macos	2025-03-31 13:37:38 -07:00
Natalie Marks	ed5b2071c5	refactor out common packages	2025-03-28 21:09:28 -07:00