4 ms·Which version of Idris does this use?by pull_my_finger 4y agoWhich version of Idris does this use?