3 ms·I have the same problem with Agda and Idris. ;-)by chrisdone 13y agoI have the same problem with Agda and Idris. ;-)