Commit graph

2 commits

Author SHA1 Message Date
Emi Simpson 54ceaa9944
Made the coq theme a lil less intollerable 2023-02-28 08:20:06 -05:00
Emi Simpson 30b1cc805b
Refactor the whole structure 2022-12-18 13:49:19 -05:00