{"push_id":2888662178,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d7093678a365e3cda35240f7acc5b2c3a337132e","before":"c21cc7b69ed9d0dd8b1e72cd28674dafa02afc5f","commits":[{"sha":"d7093678a365e3cda35240f7acc5b2c3a337132e","author":{"name":"Sébastien Faucheux","email":"fe79544a943b539a5856004f5c1c6dfcce9a4b88@gmail.com"},"message":"Handle [ML] and extended quoted expressions\n\nVariables in quoted expressions:\n- Check for a variable to be first-order but can now be anything\n- The corresponding term is built after matching, if it is a built-in\n    term, then the \"atomic\" term is extracted (int, bool, string), if\n    not, then it is the constructor\n\nOptional [ML] section supported:\n- The code is copied in a module of the checker, everything that is\n    defined can be used in quoted expressions","distinct":true,"url":"https://api.github.com/repos/Twixx/second-order-checker/commits/d7093678a365e3cda35240f7acc5b2c3a337132e"}]}
{"actor":{"display_login":"Twixx"}}