{"push_id":775335195,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"fea108a4b5806109f4bad6732b17462bba8398c7","before":"dc5e42dbc3005288a4f86a39b1807278f378a776","commits":[{"sha":"c4faa92135adeee92655533093b273984647478c","author":{"email":"3efe51fd881b1a849d4b39592125eda41a19cc34@gmail.com","name":"Jeremy W. Sherman"},"message":"Unescape '\\' in list of non–user-definable symbols\n\nThe docs made it seem that a double-backslash was not user definable.\r\nIt turns out that it's a single backslash that's not user definable;\r\nthe docs preserved escaping from the Haskell implementation\r\n(cf. src/Idris/ParseHelpers.hs:/invalidOperators/).\r\n\r\nThanks to @mietek, niklasl2, and @Melvar for pointing this out\r\nin #idris.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/c4faa92135adeee92655533093b273984647478c"},{"sha":"fea108a4b5806109f4bad6732b17462bba8398c7","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@users.noreply.github.com","name":"Jan de Muijnck-Hughes"},"message":"Merge pull request #2563 from jeremy-w/patch-2\n\nUnescape '\\' in list of non–user-definable symbols","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/fea108a4b5806109f4bad6732b17462bba8398c7"}]}