Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 28ee4ba605 i hate this main Thorn Avery 2021-06-02 03:12:39 +0000
• 5ea5a27aad testing idris2 syntax Thorn Avery 2021-05-26 02:19:13 +0000
• 6fa5875023 added idris2 plugin Thorn Avery 2021-05-26 00:55:41 +0000
• 530f0ec712 finally :) Thorn Avery 2021-04-09 14:06:59 +1200
• dadd5082ba again Thorn Avery 2021-04-09 13:56:02 +1200
• 5f5c73e057 again Thorn Avery 2021-04-09 13:53:59 +1200
• 6083f04193 trying new colours Thorn Avery 2021-04-09 13:50:22 +1200
• 637caff53a new rainbow plugin Thorn Avery 2021-04-09 13:47:55 +1200
• ef36103a59 now? Thorn Avery 2021-04-09 13:23:33 +1200
• d8292c6d63 woooorrkkk Thorn Avery 2021-04-09 13:13:06 +1200
• b3b4cbe5ef urgh Thorn Avery 2021-04-09 12:23:23 +1200
• c7b4423732 better racket config Thorn Avery 2021-04-09 11:18:41 +1200
• c8aeb7fc31 trying out idris vim lazily Thorn Avery 2020-12-14 11:26:57 +1300
• 14efc4de4c more racket Thorn Avery 2020-11-15 23:25:30 +1300
• ffbeff7cae initial commit Thorn Avery 2020-10-30 10:54:07 +1300