4 Commits

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