Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-05-18 | __snippet__ | Griffin Smith | 1 | -0/+7 |
2020-03-26 | Many updates, too many to count | Griffin Smith | 9 | -0/+91 |
2019-07-09 | A bunch of new snippets | Griffin Smith | 12 | -0/+76 |
2018-09-18 | Misc haskell stuff, snippets, etc | Griffin Smith | 15 | -0/+91 |
2018-08-31 | Update to latest doom, agda stuff, misc | Griffin Smith | 4 | -16/+8 |
2018-03-29 | Initial commit | Griffin Smith | 14 | -0/+148 |