{"push_id":554611294,"size":3,"distinct_size":3,"ref":"refs/heads/maint-2.4.2","head":"8015cfe47f178eb27264531f3a1e32bea6f5af55","before":"33f060a9d181ef01bbaf83aae09fc472d2cc753d","commits":[{"sha":"9e55f94c24c0c58024dc23509079de185268505f","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"[ refactor ] Use MaybeT instead of ExceptT SplitError in LHS checker.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/9e55f94c24c0c58024dc23509079de185268505f"},{"sha":"21fa3dcf793f4bcb92172fc62dba12540e2d92d7","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"[ new ] Agda.Utils.ListT lazy monadic lists.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/21fa3dcf793f4bcb92172fc62dba12540e2d92d7"},{"sha":"8015cfe47f178eb27264531f3a1e32bea6f5af55","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"[ new ] Binary bind in Agda.Utils.Monad.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/8015cfe47f178eb27264531f3a1e32bea6f5af55"}]}