Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-03-26 | Many updates, too many to count | Griffin Smith | 1 | -0/+8 |
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 |