{"push_id":751842436,"size":43,"distinct_size":0,"ref":"refs/heads/master","head":"030da056bc0faad98f5a97f1e921c0342f4dc3a3","before":"0e7c076058b080dd28a0af454d431d2d77a00f3e","commits":[{"sha":"59f7f9829f4171128e1afa442df19dc53fdf93f6","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Effectful Logging.\n\nTwo logging effects with appropriate tests and documentation have been added.\nThese effects provide:\n\n1. A Simple logger that provides logging in effectful functions based\n   on numerical levels of verbosity.\n2. A more advanced logger that adds categorisation of logging statments in\n   addition to levels.","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/59f7f9829f4171128e1afa442df19dc53fdf93f6"},{"sha":"9562ae8fd9fc8c922abe11175d0adb46af00f1a3","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Fixed namespace issue with Default Logging Effect","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/9562ae8fd9fc8c922abe11175d0adb46af00f1a3"},{"sha":"ff5b2308fa9b4c36958e7dad36b1bd92d30a52ba","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Fixes to Logging effect","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/ff5b2308fa9b4c36958e7dad36b1bd92d30a52ba"},{"sha":"f1e8a4dcc936ae5bc0951edea152f7a941e52489","author":{"email":"db4f424c7a0554706d57f768ee4bcf639cf631da@huddle.com","name":"Benjamin Hodgson"},"message":"Multiple record fields on one line (#2460)\n\nYou can now write this:\n```\nrecord Person where\n  constructor MkPerson\n  name, surname, middleName : String\n```\n- which is equivalent to:\n```\nrecord Person where\n  constructor MkPerson\n  name : String\n  surname : String\n  middleName : String\n```\n\nI changed the parser a little and added a test for the new functionality.","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/f1e8a4dcc936ae5bc0951edea152f7a941e52489"},{"sha":"9a9b797ce62c985f9fc0e4e21a8507d5c327dc90","author":{"email":"db4f424c7a0554706d57f768ee4bcf639cf631da@huddle.com","name":"Benjamin Hodgson"},"message":"Add documentation for #2460","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/9a9b797ce62c985f9fc0e4e21a8507d5c327dc90"},{"sha":"856d62dd8430c6030e47abff7ad81cbd7a41cede","author":{"email":"db4f424c7a0554706d57f768ee4bcf639cf631da@huddle.com","name":"Benjamin Hodgson"},"message":"Allow an optional trailing comma in `commaSeparated`","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/856d62dd8430c6030e47abff7ad81cbd7a41cede"},{"sha":"56869f69db01082e5043ff29a9eae310cd997e58","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Properly reify reflected character constants\n\nFixes #2481","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/56869f69db01082e5043ff29a9eae310cd997e58"},{"sha":"e8b7737df1d6f411fe0c21c24fa921c26d7a128f","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2482 from david-christiansen/issue/2481\n\nProperly reify reflected character constants","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/e8b7737df1d6f411fe0c21c24fa921c26d7a128f"},{"sha":"874ac98f40f395add3ca904a94ea846143881b31","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Allow empty instance declarations in mutual blocks\n\nThis was supposed to work, but didn't, meaning that it was impossible to\nuse interactive tools to populate instance bodies in mutual blocks.","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/874ac98f40f395add3ca904a94ea846143881b31"},{"sha":"1b96024f48faab4db8217b16cf27eaf65afb57dd","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Add a couple of convenience functions in Data.Vect\n\nI often want to do this sort of thing, perhaps others do too...","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/1b96024f48faab4db8217b16cf27eaf65afb57dd"},{"sha":"a26562a666a2fd559d0da5259ad8a8bddf37d9d8","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Sync the documentation with opChars in ParseHelpers.hs\n\n# and backslash was missing, and underscore isn't an operator char","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/a26562a666a2fd559d0da5259ad8a8bddf37d9d8"},{"sha":"b49c2fd6e35597647031d2546983a25a30400416","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Better display of classes in makeLemma","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/b49c2fd6e35597647031d2546983a25a30400416"},{"sha":"ebf7a7630577455c903da24707f2825ceffe7552","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Slightly less annoying name choice\n\nx, y, z, x1, y1, ... instead of x, x1, x2, ... when no other hint for\nnames is given","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/ebf7a7630577455c903da24707f2825ceffe7552"},{"sha":"af79c58c9c2e5b72cbd04e87c120867ec193d68e","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2484 from melted/ops\n\nSync the documentation with opChars in ParseHelpers.hs","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/af79c58c9c2e5b72cbd04e87c120867ec193d68e"},{"sha":"b6fd66302e069d021b5c5b2ca29bbe149c6e85b8","author":{"email":"0c9592b094bc07cd87bcd767909d44ac3cdcd45d@gmail.com","name":"worldsayshi"},"message":"added multi line strings doc and fixed typo","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/b6fd66302e069d021b5c5b2ca29bbe149c6e85b8"},{"sha":"f5e56a6c961c68df0b48ad5e4489c836288f9801","author":{"email":"0c9592b094bc07cd87bcd767909d44ac3cdcd45d@gmail.com","name":"worldsayshi"},"message":"typo when correcting typo","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/f5e56a6c961c68df0b48ad5e4489c836288f9801"},{"sha":"f25976d7cb9d820ca98124cd404b9029a939df2c","author":{"email":"db4f424c7a0554706d57f768ee4bcf639cf631da@huddle.com","name":"Benjamin Hodgson"},"message":"Revert \"Allow an optional trailing comma in `commaSeparated`\"\n\nThe consensus following the discussion in the pull request\nseemed to be by-and-large against allowing trailing commas.\nSo they're out.\n\nThis reverts commit 856d62dd8430c6030e47abff7ad81cbd7a41cede.","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/f25976d7cb9d820ca98124cd404b9029a939df2c"},{"sha":"7fe42e06de633d40773cc1f94b333e485d052eb6","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2470 from benjamin-hodgson/2460_multipleFields\n\nMultiple record fields on one line (#2460)","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/7fe42e06de633d40773cc1f94b333e485d052eb6"},{"sha":"bc4b4852e7b8e9701985a661dc7086ea3e959d9f","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2485 from worldsayshi/patch-1\n\nAdded docs on multiline strings","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/bc4b4852e7b8e9701985a661dc7086ea3e959d9f"},{"sha":"b1ce6576993a797ca20bdec98f93e5dd52aa2594","author":{"email":"0c9592b094bc07cd87bcd767909d44ac3cdcd45d@gmail.com","name":"worldsayshi"},"message":"Fixed styling for multi line string literal docs","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/b1ce6576993a797ca20bdec98f93e5dd52aa2594"}]}