Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-01-05 | bunch of org, clojure stuff, fix lots of bugs | Griffin Smith | 1 | -3/+11 | |
2018-11-21 | clojure stuff, org stuff | Griffin Smith | 1 | -0/+6 | |
2018-09-18 | Misc haskell stuff, snippets, etc | Griffin Smith | 1 | -5/+5 | |
2018-08-31 | Update to latest doom, agda stuff, misc | Griffin Smith | 1 | -0/+17 | |
2018-03-29 | Initial commit | Griffin Smith | 1 | -0/+58 | |