{"head":"b4bdd25f8c460a9ef5ff999d6cef0bf731fcf124","size":1,"push_id":47618119,"ref":"refs/heads/master","commits":[{"sha":"b4bdd25f8c460a9ef5ff999d6cef0bf731fcf124","author":{"name":"Alan Jeffrey","email":"a82917ba4e2652fff13b960fda405beaabea2f3f@bell-labs.com"},"url":"https://api.github.com/repos/agda/agda-frp-js/commits/b4bdd25f8c460a9ef5ff999d6cef0bf731fcf124","message":"Fleshed out definitions of sequences, and moved them to FRP.JS.Model.Seq."}],"legacy":{"head":"b4bdd25f8c460a9ef5ff999d6cef0bf731fcf124","size":1,"push_id":47618119,"shas":[["b4bdd25f8c460a9ef5ff999d6cef0bf731fcf124","ajeffrey@bell-labs.com","Fleshed out definitions of sequences, and moved them to FRP.JS.Model.Seq.","Alan Jeffrey"]],"ref":"refs/heads/master"}}