{"push_id":828281898,"size":10,"distinct_size":1,"ref":"refs/heads/master","head":"e780037387d598964b11bbd55b45a138fc800f26","before":"ecaa65d2aecb840ae4127c8a4184440900ab86db","commits":[{"sha":"dd9e27fbade93b042c81cf30cc9f3327225e92a7","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"rename several function","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/dd9e27fbade93b042c81cf30cc9f3327225e92a7"},{"sha":"ed258d0c0acb0865bcbb9266a1f77d3faa0e3661","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"add comment","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/ed258d0c0acb0865bcbb9266a1f77d3faa0e3661"},{"sha":"24883833136c6130d55e85d491ab355063d70bad","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"make directory","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/24883833136c6130d55e85d491ab355063d70bad"},{"sha":"ab7fb1719720672bdb3df9fb9d65fca826f466ab","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"delete trash","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/ab7fb1719720672bdb3df9fb9d65fca826f466ab"},{"sha":"2932efafceee3c0f2fa7049678efdaaec3be7d0d","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"update agda","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/2932efafceee3c0f2fa7049678efdaaec3be7d0d"},{"sha":"2933b767c0d95d481ccc7208e1fbc21e743b281e","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"update rule.agda","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/2933b767c0d95d481ccc7208e1fbc21e743b281e"},{"sha":"faf2937ffd230c4b251c30ad0d31a7590e71ae2d","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"add shell script for agda","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/faf2937ffd230c4b251c30ad0d31a7590e71ae2d"},{"sha":"3482d3c1cfb049ec9823efbe53c514f60c1346e3","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"add definitions of dlist and dtree","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/3482d3c1cfb049ec9823efbe53c514f60c1346e3"},{"sha":"78e9852f3d248f62458405a0c5b1e7c4793cdaa1","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"add a function of the latency","distinct":false,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/78e9852f3d248f62458405a0c5b1e7c4793cdaa1"},{"sha":"e780037387d598964b11bbd55b45a138fc800f26","author":{"email":"984a6a206c3ccae20893da8e0387ea48d8854a15@kanagawa-u.ac.jp","name":"falke727"},"message":"adda a definition of a Rule in Haskell","distinct":true,"url":"https://api.github.com/repos/tanakalab/filtering_model/commits/e780037387d598964b11bbd55b45a138fc800f26"}]}