{"push_id":1274257817,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"a3711190d70febd2fbbb7fe9b4ff22b7f342539c","before":"e0c893caf2e64498214f61e39c8ecd5bb33c0ed6","commits":[{"sha":"29046cca62d07a319c240ac39da0823f7008d098","author":{"name":"David Christiansen","email":"d8099b0f90e53c29d29eb12a7a3caa5af4f12681@davidchristiansen.dk"},"message":"Print core definitions\n\nNow, :core NAME will show the TT definition of NAME, if NAME is a\npattern-matching definition.","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/29046cca62d07a319c240ac39da0823f7008d098"},{"sha":"acb2efb8d40e5662987ea20846710d87af2d67a4","author":{"name":"Edwin Brady","email":"c928bc23af0546b9627da03f5800c450bd33bde7@st-andrews.ac.uk"},"message":"prim__vm needs to take a World reference\n\nOtherwise we might inline it in the wrong VM and send messages to the\nwrong places","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/acb2efb8d40e5662987ea20846710d87af2d67a4"},{"sha":"32da73a2d134c68719e3bf7dd7bb1aee684f176f","author":{"name":"Steven Shaw","email":"1745667f465f588877e987cca116e0aa57a977ec@steshaw.org"},"message":"Typo in docs for Foldable. (#3394)","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/32da73a2d134c68719e3bf7dd7bb1aee684f176f"},{"sha":"a3711190d70febd2fbbb7fe9b4ff22b7f342539c","author":{"name":"David Christiansen","email":"d8099b0f90e53c29d29eb12a7a3caa5af4f12681@davidchristiansen.dk"},"message":"Merge pull request #3392 from david-christiansen/coredef\n\nPrint core definitions","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/a3711190d70febd2fbbb7fe9b4ff22b7f342539c"}]}
{"actor":{"display_login":"mpkh"}}