{"push_id":636066721,"size":1,"distinct_size":1,"ref":"refs/heads/wip/tactical","head":"c51241f415422402bc80504554a7721b64959a6c","before":"8160e47805afdb7d7808cbb4c9d22026cb2e74a5","commits":[{"sha":"c51241f415422402bc80504554a7721b64959a6c","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Reflected elab: look up datatypes\n\nNow, a reflected version of datatype definitions can be looked up.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/c51241f415422402bc80504554a7721b64959a6c"}]}