{"push_id":2665807089,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"f0eda449aa7ebcf1c36f2e47fec9f1730353489c","before":"afee93491d9c42cbfa8edbd3e211973cbd5cb6f8","commits":[{"sha":"56b4524b3099a983813f238cbe823bc4a930809a","author":{"name":"Edwin Brady","email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk"},"message":"Update implementation notes on erasure","distinct":true,"url":"https://api.github.com/repos/edwinb/Blodwen/commits/56b4524b3099a983813f238cbe823bc4a930809a"},{"sha":"cb01ca2ee773d0dd14f87d4598cb50358b04134f","author":{"name":"Edwin Brady","email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk"},"message":"Simpler rules for unbound implicits\n\nBind them all at the top level, left to right in the order they appear.\nThis gives unification less work to do, and is easier to explain.\nIBindVar still used for binding pattern variables (and we still infer\nany additional names if the implicitly bound things have a dependent or\npolymorphic type)","distinct":true,"url":"https://api.github.com/repos/edwinb/Blodwen/commits/cb01ca2ee773d0dd14f87d4598cb50358b04134f"},{"sha":"5a22ad19728dd14d8195d18c480a7c3c956eaefc","author":{"name":"Edwin Brady","email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk"},"message":"Basic implementation of 'interface'\n\nStill lots to do, but this elaborates the basic syntax into a data\ndeclaration, top level methods, and methods for chasing constraints.","distinct":true,"url":"https://api.github.com/repos/edwinb/Blodwen/commits/5a22ad19728dd14d8195d18c480a7c3c956eaefc"},{"sha":"93d4ac7f1370a4f41eac61bb6d157a7e033d8953","author":{"name":"Edwin Brady","email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk"},"message":"TTC instances for RawImp\n\nWe may need to write these out - certainly for default interface\nmethods, and saving method types","distinct":true,"url":"https://api.github.com/repos/edwinb/Blodwen/commits/93d4ac7f1370a4f41eac61bb6d157a7e033d8953"},{"sha":"f0eda449aa7ebcf1c36f2e47fec9f1730353489c","author":{"name":"Edwin Brady","email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk"},"message":"Progress towards implementations of interfaces\n\nStoring method signatures in TTC, and reorganising desugaring to keep\ntrack of which names have been bound (so don't implicitly bind them in\nlocal definitions, methods, etc)","distinct":true,"url":"https://api.github.com/repos/edwinb/Blodwen/commits/f0eda449aa7ebcf1c36f2e47fec9f1730353489c"}]}
{"actor":{"display_login":"edwinb"}}