{"push_id":957441738,"size":2,"distinct_size":2,"ref":"refs/heads/topic/down-old-inference","head":"b29db3ad2fb58fe24f8525b09a03ef37484e230a","before":"05fd593b4d0c701b54bd569fd5ca603c1aa5d83f","commits":[{"sha":"031cdcb072e4b541b73af23aae7e05b50afa5f33","author":{"email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com","name":"Paolo G. Giarrusso"},"message":"Split base.Syntax in different traits","distinct":true,"url":"https://api.github.com/repos/inc-lc/ilc-scala/commits/031cdcb072e4b541b73af23aae7e05b50afa5f33"},{"sha":"b29db3ad2fb58fe24f8525b09a03ef37484e230a","author":{"email":"7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com","name":"Paolo G. Giarrusso"},"message":"Hide TermBuilder.apply (#16)\n\nCurrently, we have the equality:\n\n```\nTermBuilder = TypingContext => PolymorphicTerm\n```\n\nHowever, that's best left as an isomorphism, only to be visible in code\nactually doing type inference.","distinct":true,"url":"https://api.github.com/repos/inc-lc/ilc-scala/commits/b29db3ad2fb58fe24f8525b09a03ef37484e230a"}]}