{"shas":[["f58d7351d2a795d67968c85f47f9e4ee1730dd32","bb5163e6c1ff8887730374f50342fe9c89c3ab72@aist.go.jp","Monadic IO (in progress)","Yoriyuki Yamagata"]],"ref":"refs/heads/master","size":1,"head":"f58d7351d2a795d67968c85f47f9e4ee1730dd32","push_id":34605743}