15 коммитов (main)

 

Все ветки   

Поиск

Автор	SHA1	Сообщение	Дата
Thorn Avery	28ee4ba605	i hate this	2 лет назад
Thorn Avery	5ea5a27aad	testing idris2 syntax	2 лет назад
Thorn Avery	6fa5875023	added idris2 plugin	2 лет назад
Thorn Avery	530f0ec712	finally :)	3 лет назад
Thorn Avery	dadd5082ba	again	3 лет назад
Thorn Avery	5f5c73e057	again	3 лет назад
Thorn Avery	6083f04193	trying new colours	3 лет назад
Thorn Avery	637caff53a	new rainbow plugin	3 лет назад
Thorn Avery	ef36103a59	now?	3 лет назад
Thorn Avery	d8292c6d63	woooorrkkk	3 лет назад
Thorn Avery	b3b4cbe5ef	urgh	3 лет назад
Thorn Avery	c7b4423732	better racket config	3 лет назад
Thorn Avery	c8aeb7fc31	trying out idris vim lazily	3 лет назад
Thorn Avery	14efc4de4c	more racket	3 лет назад
Thorn Avery	ffbeff7cae	initial commit	3 лет назад