{"push_id":749934284,"size":14,"distinct_size":1,"ref":"refs/heads/fixes","head":"22c760324a50af75db80dc8b1cef6dff203763fc","before":"e0b3e883f833c1114effc837a086b0ab9c6c44eb","commits":[{"sha":"41cb7f4e28e10c6ecb011b8bb4da810bbb5da9d3","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #21 from jfdm/fixes\n\nUpdates to reflect changes in Idris's prelude","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/41cb7f4e28e10c6ecb011b8bb4da810bbb5da9d3"},{"sha":"5db1091f72e4ef1bb525330b76b78562d31ac28e","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Updated to reflect upstream changes in operator names.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/5db1091f72e4ef1bb525330b76b78562d31ac28e"},{"sha":"496c0d8e08213d6f9b6005d41e4bf5a5cf8b0a8e","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@centrum.sk","name":"Matúš Tejiščák"},"message":"Merge pull request #25 from jfdm/upstream-fixes\n\nUpdated to reflect upstream changes in operator names.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/496c0d8e08213d6f9b6005d41e4bf5a5cf8b0a8e"},{"sha":"588a1750b99528f9fd961d8e31ad6dd7826f2977","author":{"email":"d53652de63b26f2b99abfc5699fac10f3f95e1f7@live.ru","name":"Heather"},"message":"Data.SortedSet is moved into contrib\n\nsource: https://github.com/idris-lang/Idris-dev/blob/09a0a8d2f4c3c056f8268ee0e033822a16840b01/libs/contrib/contrib.ipkg","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/588a1750b99528f9fd961d8e31ad6dd7826f2977"},{"sha":"788cecafae5171b64bbbccadcda1cfa15c3f0d08","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@centrum.sk","name":"Matúš Tejiščák"},"message":"Merge pull request #26 from Heather/patch-1\n\nData.SortedSet is moved into contrib","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/788cecafae5171b64bbbccadcda1cfa15c3f0d08"},{"sha":"dddc935a2273ff184a3d82d8d810215a8e7f49bb","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Port records to the new Idris version.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/dddc935a2273ff184a3d82d8d810215a8e7f49bb"},{"sha":"4f37d525888827a867a757be0003b748ae84c4c3","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Fix the tests.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/4f37d525888827a867a757be0003b748ae84c4c3"},{"sha":"21aa9ce1b77a21fec04f6d3d4018c53bbf0837ed","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Change print to printLn in tests.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/21aa9ce1b77a21fec04f6d3d4018c53bbf0837ed"},{"sha":"f674730e599d3eb7e2e3a91c20861263c2c56908","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Make 'char' and 'string' return their argument on success.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/f674730e599d3eb7e2e3a91c20861263c2c56908"},{"sha":"388d6940f68d2cf7b3535fa69c9f2be87152a156","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Make Stream a typeclass.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/388d6940f68d2cf7b3535fa69c9f2be87152a156"},{"sha":"79f321d20da8639f9d3e316df2ee3c4b301d352f","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Remove primes from satisfy and satisfyMaybe.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/79f321d20da8639f9d3e316df2ee3c4b301d352f"},{"sha":"f26747ddd2c20a5edd80c47e7fc287d89277bed5","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Add more explanation.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/f26747ddd2c20a5edd80c47e7fc287d89277bed5"},{"sha":"c38bf183bdf4adbbf87d3ab38fe366d62f893d0a","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Replace (satisfy $ const False) with fail.","distinct":false,"url":"https://api.github.com/repos/jfdm/lightyear/commits/c38bf183bdf4adbbf87d3ab38fe366d62f893d0a"},{"sha":"22c760324a50af75db80dc8b1cef6dff203763fc","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Updates.\n\n+ Updated gitignore to ignore idrisdoc folder.\n+ Removed custom unlines as it is now in the prelude.\n+ Added type in type flag to tests.","distinct":true,"url":"https://api.github.com/repos/jfdm/lightyear/commits/22c760324a50af75db80dc8b1cef6dff203763fc"}]}