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