Commit Graph

5 Commits

Author SHA1 Message Date
b3b4cbe5ef urgh 2021-04-09 12:23:23 +12:00
c7b4423732 better racket config 2021-04-09 11:18:41 +12:00
c8aeb7fc31 trying out idris vim lazily 2020-12-14 11:26:57 +13:00
14efc4de4c more racket 2020-11-15 23:25:30 +13:00
ffbeff7cae initial commit 2020-10-30 10:54:07 +13:00