{"push_id":567931698,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"32a505d32e7d6f5f9551fa27b45c0606e73e39f5","before":"b4c9631d1a71e3d6ac5d1cae81e888388a09ce6f","commits":[{"sha":"b706a21eea401fb422fb10e58f75df6ca81f4d5b","author":{"email":"d7d98fe41efda37f92c45d007b684573d8ce3969@gmail.com","name":"Gabriel Gonzalez"},"message":"Loosened upper bound on `lens-family-core`","distinct":true,"url":"https://api.github.com/repos/Gabriel439/Haskell-Morte-Library/commits/b706a21eea401fb422fb10e58f75df6ca81f4d5b"},{"sha":"32a505d32e7d6f5f9551fa27b45c0606e73e39f5","author":{"email":"d7d98fe41efda37f92c45d007b684573d8ce3969@gmail.com","name":"Gabriel Gonzalez"},"message":"Fixed subtle De Bruijn index bug\n\nThis bug arises when you have a program like this:\n\n\\(a : *) -> \\(a : a) -> \\(a : a@1) -> a\n\nThe reason why is that the DeBruijn indices in the context are not updated\nwhenever you add new entries to the context.\n\nThe solution is to use `shift` to update all expressions stored within the\ncontext when prepending a new bound variable.","distinct":true,"url":"https://api.github.com/repos/Gabriel439/Haskell-Morte-Library/commits/32a505d32e7d6f5f9551fa27b45c0606e73e39f5"}]}