{"pages":[{"page_name":"Idris-on-Windows","title":"Idris on Windows","summary":null,"action":"edited","sha":"e8eddda08427b4559f08ca5ff00b4b6d63cbc101","html_url":"https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Windows"}]}