{"push_id":1020740153,"size":6,"distinct_size":4,"ref":"refs/heads/master","head":"5abd0f52476c449f7750a6b0a813572db4b1af31","before":"449089d0e4b9deda2a3b0cec8bd36324c8d9a21d","commits":[{"sha":"0f00278f916ea428b4a77e51dca6291dc6e827da","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Generalize the types of mkApp and unApply\n\nNow, they accept any Foldable and work for both the TT and Raw\nrepresentations.","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/0f00278f916ea428b4a77e51dca6291dc6e827da"},{"sha":"8c647288bd1267350fb788be5865811861799c87","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #3032 from david-christiansen/app-utils\n\nGeneralize the types of mkApp and unApply","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/8c647288bd1267350fb788be5865811861799c87"},{"sha":"e376625c9c387f4287364ec264ad10d25b491889","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Add conversion CPtr to Ptr","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/e376625c9c387f4287364ec264ad10d25b491889"},{"sha":"ce814941b886cad2c7a8ebd9245b28cb68d2100b","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #3036 from melted/ptr_conv\n\nAdd conversion CPtr to Ptr","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/ce814941b886cad2c7a8ebd9245b28cb68d2100b"},{"sha":"749ecee360d29c7f2babd5eca185144f455a4b21","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Perform positivity checking for Elab-defined datatypes\n\nThis was missing before.","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/749ecee360d29c7f2babd5eca185144f455a4b21"},{"sha":"5abd0f52476c449f7750a6b0a813572db4b1af31","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #3037 from david-christiansen/app-utils\n\nPerform positivity checking for Elab-defined datatypes","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/5abd0f52476c449f7750a6b0a813572db4b1af31"}]}