{"push_id":1001251891,"size":21,"distinct_size":0,"ref":"refs/heads/master","head":"796b7170a3c723b794dc59a37d8d14106a977617","before":"17eac6e5486d7a2124b6ceb73acb591928120399","commits":[{"sha":"b588bf1326fbb3e212e39389f2536313a4ba666d","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"started module Protop.Logic.Simple","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/b588bf1326fbb3e212e39389f2536313a4ba666d"},{"sha":"b202b54be5c33ac4ee344781e299107a36db9cfe","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"complete first implementation of 'simple' logic","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/b202b54be5c33ac4ee344781e299107a36db9cfe"},{"sha":"a29132b586c61216f7ef80fc62a57bdb005e78df","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"started builder","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/a29132b586c61216f7ef80fc62a57bdb005e78df"},{"sha":"a71f10a668db707d33e5b9a22e71dab92bb3851d","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"compilation of entities","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/a71f10a668db707d33e5b9a22e71dab92bb3851d"},{"sha":"47d978d8dedf8f5571bf4848529708fd1581b748","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"Lars Brünjes"},"message":"switched order of parameters for Sig and Entity","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/47d978d8dedf8f5571bf4848529708fd1581b748"},{"sha":"bb8d1f412dec9b8d120b9cfa2962628ea7f076a9","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"Lars Brünjes"},"message":"HasScope instance for Scope","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/bb8d1f412dec9b8d120b9cfa2962628ea7f076a9"},{"sha":"861bcca5b071175e73ba0de0fbfd426d7f6df706","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"Lars Brünjes"},"message":"SCLiftable","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/861bcca5b071175e73ba0de0fbfd426d7f6df706"},{"sha":"45cfac4a9886651860de4587177850195fecdd6a","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"Lars Brünjes"},"message":"started implementation of sigma types","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/45cfac4a9886651860de4587177850195fecdd6a"},{"sha":"c497e2087d60a9d83360da894f0921afdd113c93","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"completed sigma types, added tests","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/c497e2087d60a9d83360da894f0921afdd113c93"},{"sha":"f24135261283d7e775eb3314e476579a91500472","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"adjusted .gitignore","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/f24135261283d7e775eb3314e476579a91500472"},{"sha":"fe857ea4e6450be866de5de221967cce3666fdfb","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"implemented 'TVault'","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/fe857ea4e6450be866de5de221967cce3666fdfb"},{"sha":"deeab58a5960d780884e4f9fba930662f065f722","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"indexed state monad","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/deeab58a5960d780884e4f9fba930662f065f722"},{"sha":"abd702817279eef6739b1c76493d8b38d9975184","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"small fix","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/abd702817279eef6739b1c76493d8b38d9975184"},{"sha":"739d76404a67a7aa2a98df788f8a888617d9c4f6","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"started 'NewBuilder' implementation, using an indexed state monad","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/739d76404a67a7aa2a98df788f8a888617d9c4f6"},{"sha":"fb4d5b8b4fa3e56b9ad81e07ea4a792d42816413","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"added missing pragma","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/fb4d5b8b4fa3e56b9ad81e07ea4a792d42816413"},{"sha":"52d1af08d39f7b1d29c276cfe9f5e8b2dee985cc","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"lftM and varM (in indexed monad)","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/52d1af08d39f7b1d29c276cfe9f5e8b2dee985cc"},{"sha":"3eb1f2a34b068fd6ce29d5179d8350d592721bd8","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"brunjlar"},"message":"tried another approach to the builder monad","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/3eb1f2a34b068fd6ce29d5179d8350d592721bd8"},{"sha":"f5d0f44515b99e139d0cb347b3613717d3dec54d","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"Lars Brünjes"},"message":"fixed license information in cabal file","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/f5d0f44515b99e139d0cb347b3613717d3dec54d"},{"sha":"9954404805133ca7548bda7b682e41ce5cd46a5b","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"Lars Brünjes"},"message":"improved and simplified version of Liftable class","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/9954404805133ca7548bda7b682e41ce5cd46a5b"},{"sha":"cc19e8df94a8d15de58afd5e16fbfa95618bff80","author":{"email":"57f5e57c8efe0e9769babff2a8002f59a06d6baa@gmail.com","name":"Lars Brünjes"},"message":"implemented sigma types in 'Simple'","distinct":false,"url":"https://api.github.com/repos/brunjlar/protop/commits/cc19e8df94a8d15de58afd5e16fbfa95618bff80"}]}