{"push_id":2833262458,"size":22,"distinct_size":22,"ref":"refs/heads/master","head":"7c68fcd24a19680fe9d3bd0d46824f3e4cc485ce","before":"34882270967c7c7efc4597dc74b76b4a48c82c91","commits":[{"sha":"e83afef94aa1765d6a5238444aa05d4d954e820e","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Got rid of the inner maybe in InputF, refactored to be an alt in Action","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/e83afef94aa1765d6a5238444aa05d4d954e820e"},{"sha":"ba134641171d95d29cb73ec8659c1aea528d287f","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Removed some dead code","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/ba134641171d95d29cb73ec8659c1aea528d287f"},{"sha":"08f4df68eb8487a3df7fe852c2134ae7c51c345e","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Squashed away NavF abstraction which wasn't really doing much","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/08f4df68eb8487a3df7fe852c2134ae7c51c345e"},{"sha":"424b80b28a8327d803380cb87de74e99b751c120","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Renamed exit to delegate everywhere","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/424b80b28a8327d803380cb87de74e99b751c120"},{"sha":"c49357bafc8cd10e3fd33725390471393eba728f","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Simplified RequestInput, no more Compose for it either!","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/c49357bafc8cd10e3fd33725390471393eba728f"},{"sha":"f56390afaa20ed0daebf066ea35fa317fb9c3968","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Dead code","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/f56390afaa20ed0daebf066ea35fa317fb9c3968"},{"sha":"b375ab628f5b218b56f1d4ce10bb800632966bd7","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Monoidal/Grammar/Syntax for product functors","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/b375ab628f5b218b56f1d4ce10bb800632966bd7"},{"sha":"3c7d077076d199d170437105b1018c355cec2a0a","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Some notes about rewrites and zippers","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/3c7d077076d199d170437105b1018c355cec2a0a"},{"sha":"0e6326759ac7f21d27ee05d1ef37e6c511548f41","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Nother idea on rewr","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/0e6326759ac7f21d27ee05d1ef37e6c511548f41"},{"sha":"b3491147a273eb20523939f5a64bd2b00138dcac","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Added Tsexp - \"typed S-expressions\"","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/b3491147a273eb20523939f5a64bd2b00138dcac"},{"sha":"a6c333424bddab214d872c2c5ea68d77b5d9b1cd","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Generalized the type of Cast a bit","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/a6c333424bddab214d872c2c5ea68d77b5d9b1cd"},{"sha":"dcd61d73ec0a0546785af59894198b0bab9e999e","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Added foldConst for derivates.","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/dcd61d73ec0a0546785af59894198b0bab9e999e"},{"sha":"264e66524f9a076dae26e6a0cf335cbf6f9fb085","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Flipped arguments to D so that D h a can be an HFunctor (thus differentiable)","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/264e66524f9a076dae26e6a0cf335cbf6f9fb085"},{"sha":"d34bc01dddefd1a83e328786d7440333efaf001f","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Reference for almost-typechecking siblings function using a second derivative.\n\nWe would just need a model of second derivatives in Differentiable.","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/d34bc01dddefd1a83e328786d7440333efaf001f"},{"sha":"07eb643c8e54c02b99e3d22709c719bc2c66ae96","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Another reference commit, proving the viability of the \"iso\" method","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/07eb643c8e54c02b99e3d22709c719bc2c66ae96"},{"sha":"b1ac77797ecc249fa2403908b00ace9a0f5dac25","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"OMG infinitely differentiable datatypes, and only extremely cumbersome to use!!","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/b1ac77797ecc249fa2403908b00ace9a0f5dac25"},{"sha":"1a9612030445710b01171912cf9519aeb1acd577","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"A little cleanup","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/1a9612030445710b01171912cf9519aeb1acd577"},{"sha":"e28679757900a3e3ebfcb1cc8102c9ce55f0eda1","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Did a bit of work to remove the proxy argument in foldConstD","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/e28679757900a3e3ebfcb1cc8102c9ce55f0eda1"},{"sha":"b14f0f79d92869b2eb183c17d3a10c52a657ddbc","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Found a somewhat arcane but working definition for Cast","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/b14f0f79d92869b2eb183c17d3a10c52a657ddbc"},{"sha":"2e5bd7c2db328560d2cc76a24e37910e44c5f5b9","author":{"name":"Luke Palmer","email":"92c31daa9009074e4a4b2ddc6828695c0f7c9b95@gmail.com"},"message":"Bullshitted a little bit about the definition of a cast.","distinct":true,"url":"https://api.github.com/repos/luqui/manifesto/commits/2e5bd7c2db328560d2cc76a24e37910e44c5f5b9"}]}
{"actor":{"display_login":"luqui"}}