{"push_id":730447553,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"29d3d138cd3b086af4f47470b2ef61fc1a1c27c3","before":"2ad4212cab08409b30c75863e34cf3826c3fc35f","commits":[{"sha":"29d3d138cd3b086af4f47470b2ef61fc1a1c27c3","author":{"email":"f80d0ca101e967b50b730ddf8e8aca0de85e8df6@lynnscience.com","name":"Matthew J. Lynn"},"message":"Moving towards first-order sentential logic, and integrated \"propositions as types\" approach to sentential logic.","distinct":true,"url":"https://api.github.com/repos/matthewlynn/Logic/commits/29d3d138cd3b086af4f47470b2ef61fc1a1c27c3"}]}