{"push_id":687656668,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"89c19be300d89a98f5ed62a9121f11f213f2723a","before":"84bca2548f611016502da0512b1f644d3d0c725c","commits":[{"sha":"727a3d62b855ce9a731ee90da2191a45fc31366e","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Fix transform elaboration","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/727a3d62b855ce9a731ee90da2191a45fc31366e"},{"sha":"7f20febb295c23255f8f169bdd03c0215bac491a","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Don't totality check PE definitions\n\nTheir totality arises from the totality of the thing they are generated\nfrom, and doing otherwise loses information such as assert_total.","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/7f20febb295c23255f8f169bdd03c0215bac491a"},{"sha":"bfacfbc85e0ea9f0d81de90e541b9182e8985660","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Better partial evaluation of polymorphic HOFs\n\nNeed to make sure types constructors are stripped on the LHS or they\nwon't get past the elaborator.","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/bfacfbc85e0ea9f0d81de90e541b9182e8985660"},{"sha":"76b39b1b74fea2b1f6149681846bf2fc5b3431f1","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Fix pattern warning in DeepSeq","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/76b39b1b74fea2b1f6149681846bf2fc5b3431f1"},{"sha":"c88215445e110c17cfb4e4ab3997352c8665ca6c","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Fix DeepSeq matching","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/c88215445e110c17cfb4e4ab3997352c8665ca6c"},{"sha":"89c19be300d89a98f5ed62a9121f11f213f2723a","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Better error message for cast failure","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/89c19be300d89a98f5ed62a9121f11f213f2723a"}]}