{"push_id":2556802221,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4c1425128d6b65f6d98a4c7d0ed8115f659a0f03","before":"04a36a161dd634aeff800d3d4540f9f9ab6e8d88","commits":[{"sha":"4c1425128d6b65f6d98a4c7d0ed8115f659a0f03","author":{"name":"Daniel Hillerström","email":"32f930547a4c2c4ade08d280852f824dd7a5e773@gmail.com"},"message":"SAT solver example (also a new test harness case) (#335)\n\n* Fixes bug in sat-solver. Adds parsing for expressions.\r\n\r\n* Adds type signatures\r\n\r\n* Adds the sat-solver example as a test case.","distinct":true,"url":"https://api.github.com/repos/links-lang/links/commits/4c1425128d6b65f6d98a4c7d0ed8115f659a0f03"}]}
{"actor":{"display_login":"dhil"}}