{"push_id":792076336,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"8b077e11eade8879fc13c626cbd314a05fdbceb6","before":"41cd0d2922bab6687c62c30fb21eb27cd7361bb4","commits":[{"sha":"ff9c97cf7f27645e54c149c730aa306884dbb8fe","author":{"email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com","name":"Nicolas Pouillard"},"message":"Add relink.sh to tidy up the test files","distinct":true,"url":"https://api.github.com/repos/np/ling/commits/ff9c97cf7f27645e54c149c730aa306884dbb8fe"},{"sha":"50f4cc62aa3cfffb5f460a3db84b3034a7759b76","author":{"email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com","name":"Nicolas Pouillard"},"message":"Ling.cf: keep Program as the first rule","distinct":true,"url":"https://api.github.com/repos/np/ling/commits/50f4cc62aa3cfffb5f460a3db84b3034a7759b76"},{"sha":"0c602b953273ca201465a7846164154bcdeb441a","author":{"email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com","name":"Nicolas Pouillard"},"message":"Refactor prefer the Integral class instead of Int","distinct":true,"url":"https://api.github.com/repos/np/ling/commits/0c602b953273ca201465a7846164154bcdeb441a"},{"sha":"8b077e11eade8879fc13c626cbd314a05fdbceb6","author":{"email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com","name":"Nicolas Pouillard"},"message":"New forwarder syntactic sugar\n\nGiven an integer `n`, a session `S`, and\na channel `c`, one can now write:\n  fwd n S c\ninstead of:\n  c{c1,...,cn} fwd S (c1,...,cn)\nwhich thus builds directly a process\nfollowing session:\n  c : Fwd n S","distinct":true,"url":"https://api.github.com/repos/np/ling/commits/8b077e11eade8879fc13c626cbd314a05fdbceb6"}]}