{"head":"5eab77530376a09e68fcaaf5ad808aefcb02e285","size":9,"push_id":47399926,"commits":[{"sha":"2ae3b11290f88a4283c942228c722669e4af88f3","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/2ae3b11290f88a4283c942228c722669e4af88f3","message":"remove Makefile from version control"},{"sha":"320c3492e5f0a4f64276e1ebbe37c750f092021d","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/320c3492e5f0a4f64276e1ebbe37c750f092021d","message":"add a .gitignore file"},{"sha":"2dd358dd8f2075061ceaa2e6ac69ef063b879378","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/2dd358dd8f2075061ceaa2e6ac69ef063b879378","message":"generate_makefile.sh: drop -R for now"},{"sha":"79b5a0e91dfabb3cd18845c4a83989e6c4f712df","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/79b5a0e91dfabb3cd18845c4a83989e6c4f712df","message":"bind the many-sorted arrow notation to type_scope"},{"sha":"64c2a6fd7aaded0a1aa955890568eabe1076b260","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/64c2a6fd7aaded0a1aa955890568eabe1076b260","message":"cleanup"},{"sha":"fe7f355c2c41af847027707e1417c31dfaec589a","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/fe7f355c2c41af847027707e1417c31dfaec589a","message":"function domains"},{"sha":"77564c8dcd34bb57d119a389a9169fdfb06d65da","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/77564c8dcd34bb57d119a389a9169fdfb06d65da","message":"minor cleanups"},{"sha":"29ed67847a728bdd6cfb326939809c2b0613053f","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/29ed67847a728bdd6cfb326939809c2b0613053f","message":"declare GCS as a class and C, X, A as methods"},{"sha":"5eab77530376a09e68fcaaf5ad808aefcb02e285","author":{"name":"Jérémie Koenig","email":"68a658b44bbaefab3ef5cd231967195fc0ff9d69@jk.fr.eu.org"},"url":"https://api.github.com/repos/jeremie-koenig/GCS/commits/5eab77530376a09e68fcaaf5ad808aefcb02e285","message":"use ++ as a notation for GCS sum"}],"ref":"refs/heads/master","legacy":{"head":"5eab77530376a09e68fcaaf5ad808aefcb02e285","size":9,"push_id":47399926,"shas":[["2ae3b11290f88a4283c942228c722669e4af88f3","jk@jk.fr.eu.org","remove Makefile from version control","Jérémie Koenig"],["320c3492e5f0a4f64276e1ebbe37c750f092021d","jk@jk.fr.eu.org","add a .gitignore file","Jérémie Koenig"],["2dd358dd8f2075061ceaa2e6ac69ef063b879378","jk@jk.fr.eu.org","generate_makefile.sh: drop -R for now","Jérémie Koenig"],["79b5a0e91dfabb3cd18845c4a83989e6c4f712df","jk@jk.fr.eu.org","bind the many-sorted arrow notation to type_scope","Jérémie Koenig"],["64c2a6fd7aaded0a1aa955890568eabe1076b260","jk@jk.fr.eu.org","cleanup","Jérémie Koenig"],["fe7f355c2c41af847027707e1417c31dfaec589a","jk@jk.fr.eu.org","function domains","Jérémie Koenig"],["77564c8dcd34bb57d119a389a9169fdfb06d65da","jk@jk.fr.eu.org","minor cleanups","Jérémie Koenig"],["29ed67847a728bdd6cfb326939809c2b0613053f","jk@jk.fr.eu.org","declare GCS as a class and C, X, A as methods","Jérémie Koenig"],["5eab77530376a09e68fcaaf5ad808aefcb02e285","jk@jk.fr.eu.org","use ++ as a notation for GCS sum","Jérémie Koenig"]],"ref":"refs/heads/master"}}