{"push_id":621241522,"size":48,"distinct_size":48,"ref":"refs/heads/develop","head":"87076145d3318759285327c259049d158e3d6dc5","before":"1f65d850b13563ef304bced0ed02f791c7df2cc0","commits":[{"sha":"3b9be2c18e7bfa056f62419597d945a8c3ca55f4","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"Another small example to test records","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/3b9be2c18e7bfa056f62419597d945a8c3ca55f4"},{"sha":"d16da7565c0517c38ff48b94a0ce6b7354a08ed1","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"Merge branch 'develop' of https://github.com/hkuplg/fcore into develop","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/d16da7565c0517c38ff48b94a0ce6b7354a08ed1"},{"sha":"7912dadc85a347c51b70abd6e5c6e8bb26f66b90","author":{"email":"ad3199b4e38b37fb857b2e7ce152656a24d836ae@users.noreply.github.com","name":"Jeremy Bi"},"message":"Merge pull request #143 from xnning/develop\n\nmake Symbolic happy","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/7912dadc85a347c51b70abd6e5c6e8bb26f66b90"},{"sha":"dcadd275b656ca4e05348ba1c170deecfdb346e8","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"Decouple interface from implementation for Simplify\n\nAs we will soon have a new implementation of Simplify, this will make swapping and testing different implementations possible.","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/dcadd275b656ca4e05348ba1c170deecfdb346e8"},{"sha":"1a3b5d695222a05245937619e5705a3a01a43650","author":{"email":"ad3199b4e38b37fb857b2e7ce152656a24d836ae@users.noreply.github.com","name":"Jeremy Bi"},"message":"Merge pull request #146 from hkuplg/2nd-gen-simplify\n\nDecouple interface from implementation for Simplify","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/1a3b5d695222a05245937619e5705a3a01a43650"},{"sha":"748e31f0c45bf03f36006c44ab2b4cee610a1505","author":{"email":"5d82f8d697a71637228ab64dd561f1e74e535202@gmail.com","name":"Weixin Zhang"},"message":"Test cases in shouldnt_typecheck should not have parse error","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/748e31f0c45bf03f36006c44ab2b4cee610a1505"},{"sha":"a74f87cff958d2587634efa8479009be8e0a6d7a","author":{"email":"5d82f8d697a71637228ab64dd561f1e74e535202@gmail.com","name":"Weixin Zhang"},"message":"Print the type that causes kind mismatching","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/a74f87cff958d2587634efa8479009be8e0a6d7a"},{"sha":"b95a3073e384220c6ed8ab7bfd9b43677f245044","author":{"email":"5d82f8d697a71637228ab64dd561f1e74e535202@gmail.com","name":"Weixin Zhang"},"message":"Add expression context to TypeMismatch for binds","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/b95a3073e384220c6ed8ab7bfd9b43677f245044"},{"sha":"e8340bb4edf73703c990aceb6747bab7cde758c4","author":{"email":"ad3199b4e38b37fb857b2e7ce152656a24d836ae@users.noreply.github.com","name":"Jeremy Bi"},"message":"Merge pull request #147 from wxzh/develop\n\nReport type-checking errors with more information","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/e8340bb4edf73703c990aceb6747bab7cde758c4"},{"sha":"f2b5a6fac35e4a9d76d9d559c20f39179a698265","author":{"email":"64df9394769913f3601f8647ae95064cae3ecf5a@gmail.com","name":"Linus Yang"},"message":"[#78] Support string interpolation","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/f2b5a6fac35e4a9d76d9d559c20f39179a698265"},{"sha":"d7608e4913e04a21070b7f844b607b6e9c24e500","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"Merge pull request #148 from linusyang/str-format\n\n[#78] Support string interpolation","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/d7608e4913e04a21070b7f844b607b6e9c24e500"},{"sha":"092896e68bed5971c769cded5705198f434a0528","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"Add test case for string interpolation","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/092896e68bed5971c769cded5705198f434a0528"},{"sha":"785c48e5730c495283511960d2dce479694cd95b","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"Fix typo","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/785c48e5730c495283511960d2dce479694cd95b"},{"sha":"9803bd0a40ecd5aa55d5422e4c439c91ce941a5a","author":{"email":"64df9394769913f3601f8647ae95064cae3ecf5a@gmail.com","name":"Linus Yang"},"message":"Refine the jconcat function","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/9803bd0a40ecd5aa55d5422e4c439c91ce941a5a"},{"sha":"2c36db8aa3fcb3269e09567bbcb7685a12a90e88","author":{"email":"64df9394769913f3601f8647ae95064cae3ecf5a@gmail.com","name":"Linus Yang"},"message":"Add string interpolation for cheat sheet","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/2c36db8aa3fcb3269e09567bbcb7685a12a90e88"},{"sha":"7eb0870dfe6bfd60aae08174a3ceaba34d5aea18","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"Merge pull request #150 from linusyang/str-format\n\nDocument & refine string interpolation","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/7eb0870dfe6bfd60aae08174a3ceaba34d5aea18"},{"sha":"161b3ee2cf14b5ba3c48c65f93122935a56a4352","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Use 'cabal-version: >= 1.10'\n\nThis is to silence the warning \"To use the 'default-language' field the\npackage needs to specify at least 'cabal-version: >= 1.10'\"","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/161b3ee2cf14b5ba3c48c65f93122935a56a4352"},{"sha":"8a4ae7535d1fa952f62321485694ace60086ce33","author":{"email":"ad3199b4e38b37fb857b2e7ce152656a24d836ae@users.noreply.github.com","name":"Jeremy Bi"},"message":"Merge pull request #151 from bixuanzju/develop\n\nUse cabal-version: >= 1.10","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/8a4ae7535d1fa952f62321485694ace60086ce33"},{"sha":"7b6ef6ea7c27622a00373b77a723ee9cf63e848e","author":{"email":"08c0f36a678fbc3679f9ca3706f9ae1f7dcc657f@gmail.com","name":"Jeremy Bi"},"message":"Update Object Algebra examples with string interpolation","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/7b6ef6ea7c27622a00373b77a723ee9cf63e848e"},{"sha":"f02f4597f852b8ccb55d0fbf4383d09401c2291c","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"camelCase testCase directories","distinct":true,"url":"https://api.github.com/repos/xnning/fcore/commits/f02f4597f852b8ccb55d0fbf4383d09401c2291c"}]}