{"push_id":935137100,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"085e11961b62563ed15fd78d809c7b41b2e96d48","before":"ec65c5e01fe0c31ad5ef2141e4955857f6dccea6","commits":[{"sha":"085e11961b62563ed15fd78d809c7b41b2e96d48","author":{"email":"6ce96f4860539bb8ead5871fe9d434a43dc691ac@gmail.com","name":"Ben Goodspeed"},"message":"basic version of finite state transducer and prefix proof statements","distinct":true,"url":"https://api.github.com/repos/bgoodspeed/idris-strings/commits/085e11961b62563ed15fd78d809c7b41b2e96d48"}]}