Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-03-26 | Many updates, too many to count | Griffin Smith | 1 | -0/+8 | |
commit messages are for code, not config I guess | |||||
2018-09-18 | Misc haskell stuff, snippets, etc | Griffin Smith | 6 | -0/+32 | |
2018-08-31 | Update to latest doom, agda stuff, misc | Griffin Smith | 3 | -8/+8 | |
2018-03-29 | Initial commit | Griffin Smith | 8 | -0/+115 | |