15 Ревизии (main)

 

All Branches   

Търсене

Автор	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 години