Change idris-lang.org to www.idris-lang.org in README and docs#3715
Open
Z-snails wants to merge 1 commit into
Open
Change idris-lang.org to www.idris-lang.org in README and docs#3715Z-snails wants to merge 1 commit into
Z-snails wants to merge 1 commit into
