about summary refs log tree commit diff
AgeCommit message (Expand)AuthorFilesLines
2018-09-18 Misc haskell stuff, snippets, etcGriffin Smith19-254/+345
2018-08-31 Update to latest doom, agda stuff, miscGriffin Smith9-162/+436
2018-05-04 fix cW for commit-wipGriffin Smith1-3/+3
2018-03-29 Initial commitGriffin Smith27-0/+2752