{"pages":[{"page_name":"PatternMatching","title":"PatternMatching","summary":null,"action":"created","sha":"f86f46a6ea789cfbe279a547d52c62be60d50544","html_url":"https://github.com/DavidArno/SuccincT/wiki/PatternMatching"},{"page_name":"Home","title":"Home","summary":null,"action":"edited","sha":"f86f46a6ea789cfbe279a547d52c62be60d50544","html_url":"https://github.com/DavidArno/SuccincT/wiki/Home"}]}