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