4 commits

Author	SHA1	Message	Date
Griffin Smith	35c76e7098	Many updates, too many to count ... commit messages are for code, not config I guess	2020-03-26 15:03:25 -04:00
Griffin Smith	23b179ad1d	A bunch of new snippets	2019-07-09 17:50:51 -04:00
Griffin Smith	8ba14144a3	Update to latest doom, agda stuff, misc	2018-08-31 13:31:14 -04:00
Griffin Smith	d88fb3194f	Initial commit	2018-03-29 18:10:07 -04:00