{"push_id":601002397,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"b35b9dde4321d88156c0938be1cdab104813c8b0","before":"ed30d81d0d418f74d408aa9fdc65b89874a6ae9c","commits":[{"sha":"3a89ff293128f9a660d2608fbf88fb35af668827","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Fixes for rst syntax","distinct":true,"url":"https://api.github.com/repos/jfdm/idris-docs/commits/3a89ff293128f9a660d2608fbf88fb35af668827"},{"sha":"c8f612f463f93245aeca523c469c01d5c4d3edaa","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Added the provisional chapter from teh tutorial.","distinct":true,"url":"https://api.github.com/repos/jfdm/idris-docs/commits/c8f612f463f93245aeca523c469c01d5c4d3edaa"},{"sha":"3b43cfe9b773cad34aeef7bb8ddb602c56ef1085","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Added interactive chapter.","distinct":true,"url":"https://api.github.com/repos/jfdm/idris-docs/commits/3b43cfe9b773cad34aeef7bb8ddb602c56ef1085"},{"sha":"b35b9dde4321d88156c0938be1cdab104813c8b0","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Label fixes and new chapter.\n\n+ Fixed labelling of sections.\n+ Added the syntax chapter.","distinct":true,"url":"https://api.github.com/repos/jfdm/idris-docs/commits/b35b9dde4321d88156c0938be1cdab104813c8b0"}]}