fixes idris-lang.org link in readme