|
|
5ea5a27aad
|
testing idris2 syntax
|
2021-05-26 02:19:13 +00:00 |
|
|
|
6fa5875023
|
added idris2 plugin
|
2021-05-26 00:55:41 +00:00 |
|
|
|
530f0ec712
|
finally :)
|
2021-04-09 14:06:59 +12:00 |
|
|
|
dadd5082ba
|
again
|
2021-04-09 13:56:02 +12:00 |
|
|
|
5f5c73e057
|
again
|
2021-04-09 13:53:59 +12:00 |
|
|
|
6083f04193
|
trying new colours
|
2021-04-09 13:50:22 +12:00 |
|
|
|
637caff53a
|
new rainbow plugin
|
2021-04-09 13:47:55 +12:00 |
|
|
|
ef36103a59
|
now?
|
2021-04-09 13:23:33 +12:00 |
|
|
|
d8292c6d63
|
woooorrkkk
|
2021-04-09 13:13:06 +12:00 |
|
|
|
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 |
|
