3 ms·Their main docs are pretty good too: http://docs.idris-lang.org http://docs.idris-lang.orgby bjz_ 10y agoTheir main docs are pretty good too: http://docs.idris-lang.org http://docs.idris-lang.org