{"push_id":1538874445,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"1ed6fbc83f285affc6f50c4c4f04b3bbdbfcb03a","before":"0b9ed1f6feb158c53e17d547d838c40848a0863a","commits":[{"sha":"406db4d5870b738af1a3f4d06df3c37c8b831b97","author":{"name":"Andrej Bauer","email":"ae38289dd3a53546847c4506139615bedea77b94@andrej.com"},"message":"OCaml style externals.\n\nDeclare externals with a top-level command\n\n    external foo : mlschema = \"bar\"\n\nThis follows OCaml and Eff syntax. The benefit is that we can write down the type in a\nhumane way, instead of having to put it in the OCaml source.","distinct":true,"url":"https://api.github.com/repos/Andromedans/andromeda/commits/406db4d5870b738af1a3f4d06df3c37c8b831b97"},{"sha":"8e755ec5aa63444f07e26d01399d939d1c2321e3","author":{"name":"Andrej Bauer","email":"ae38289dd3a53546847c4506139615bedea77b94@andrej.com"},"message":"Print externals in the same way as OCaml.","distinct":true,"url":"https://api.github.com/repos/Andromedans/andromeda/commits/8e755ec5aa63444f07e26d01399d939d1c2321e3"},{"sha":"48a3b225826214bd57a59087de2a772fbdc55b9f","author":{"name":"Andrej Bauer","email":"ae38289dd3a53546847c4506139615bedea77b94@andrej.com"},"message":"Merge branch 'master' into better-externals","distinct":true,"url":"https://api.github.com/repos/Andromedans/andromeda/commits/48a3b225826214bd57a59087de2a772fbdc55b9f"},{"sha":"1ed6fbc83f285affc6f50c4c4f04b3bbdbfcb03a","author":{"name":"Gaetan Gilbert","email":"5bbfdd0af0dfb2940814c6b5e8e839007e186364@ens-lyon.fr"},"message":"Merge pull request #377 from andrejbauer/better-externals\n\nOCaml style externals.","distinct":true,"url":"https://api.github.com/repos/Andromedans/andromeda/commits/1ed6fbc83f285affc6f50c4c4f04b3bbdbfcb03a"}]}
{"actor":{"display_login":"SkySkimmer"}}