tA
/
vim
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity

Commit Graph

  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • *
  • 28ee4ba (HEAD -> main) i hate this by Thorn Avery 2021-06-02 03:12:39 +0000
  • 5ea5a27 testing idris2 syntax by Thorn Avery 2021-05-26 02:19:13 +0000
  • 6fa5875 added idris2 plugin by Thorn Avery 2021-05-26 00:55:41 +0000
  • 530f0ec finally :) by Thorn Avery 2021-04-09 14:06:59 +1200
  • dadd508 again by Thorn Avery 2021-04-09 13:56:02 +1200
  • 5f5c73e again by Thorn Avery 2021-04-09 13:53:59 +1200
  • 6083f04 trying new colours by Thorn Avery 2021-04-09 13:50:22 +1200
  • 637caff new rainbow plugin by Thorn Avery 2021-04-09 13:47:55 +1200
  • ef36103 now? by Thorn Avery 2021-04-09 13:23:33 +1200
  • d8292c6 woooorrkkk by Thorn Avery 2021-04-09 13:13:06 +1200
  • b3b4cbe urgh by Thorn Avery 2021-04-09 12:23:23 +1200
  • c7b4423 better racket config by Thorn Avery 2021-04-09 11:18:41 +1200
  • c8aeb7f trying out idris vim lazily by Thorn Avery 2020-12-14 11:26:57 +1300
  • 14efc4d more racket by Thorn Avery 2020-11-15 23:25:30 +1300
  • ffbeff7 initial commit by Thorn Avery 2020-10-30 10:54:07 +1300