2 ms·

Idris lang seems awesome with the atom plugin. :) Did not use it yet but I hope it will get more attention. https://youtu.be/mOtKD7ml0NU https://youtu.be/mOtK

by pezo1919 7y ago

Idris lang seems awesome with the atom plugin. :) Did not use it yet but I hope it will get more attention. https://youtu.be/mOtKD7ml0NU https://youtu.be/mOtKD7ml0NU