{"push_id":936973031,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0fb23c6050859082edb6432bedc966f66df8371c","before":"64bffb617d2f47dbf47b9ff697dd42a0742f9200","commits":[{"sha":"0fb23c6050859082edb6432bedc966f66df8371c","author":{"email":"c05bc9dfe43c7f8add51d81d9ac8f51d2dfa9482@galois.com","name":"Kyle Carter"},"message":"added boolean singletons, boolean type families","distinct":true,"url":"https://api.github.com/repos/kylcarte/type-combinators/commits/0fb23c6050859082edb6432bedc966f66df8371c"}]}