{"push_id":746636666,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"826afc67e1dfd5de4e746752dccc7eb16e6c2cf1","before":"f7123b9794baa7463af02d8e978cd69576254595","commits":[{"sha":"f476cb2e9026edadf6baf5b92222837e928fe42a","author":{"email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","name":"Jason Gross"},"message":"Split off the eq-dec dependent part of the interpreter","distinct":true,"url":"https://api.github.com/repos/JasonGross/lob/commits/f476cb2e9026edadf6baf5b92222837e928fe42a"},{"sha":"15790fbfaec255e4465185d8a26394b9e6a5b135","author":{"email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","name":"Jason Gross"},"message":"Revert \"Add ‘tApp-nd’ as a constructor\"\n\nThis reverts commit f7123b9794baa7463af02d8e978cd69576254595.\n\nConflicts:\n\tinternal/well-typed-syntax-interpreter.agda\n\nIt caused agda to run out of memory","distinct":true,"url":"https://api.github.com/repos/JasonGross/lob/commits/15790fbfaec255e4465185d8a26394b9e6a5b135"},{"sha":"826afc67e1dfd5de4e746752dccc7eb16e6c2cf1","author":{"email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","name":"Jason Gross"},"message":"Revert \"add ‘context-pick-if’-refl as a constructor\"\n\nThis reverts commit ae438ef990961e97f5c8f382519db6dd28096bc1.\n\nConflicts:\n\tinternal/well-typed-syntax-helpers.agda\n\tinternal/well-typed-syntax-interpreter.agda\n\nIt was making things slow","distinct":true,"url":"https://api.github.com/repos/JasonGross/lob/commits/826afc67e1dfd5de4e746752dccc7eb16e6c2cf1"}]}