{"push_id":888213829,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"35cde6eab41eda8bc7e6b824eea457a198fc3ab7","before":"8b93062f826ccd9fca9d8610560501d1dc3e74a2","commits":[{"sha":"35cde6eab41eda8bc7e6b824eea457a198fc3ab7","author":{"email":"8c7f174619679e6e02de2b8cc749b7c3584276f8@cs.unm.edu","name":"Taylor E. Berger"},"message":" prelim implementation for constraint typing. Going to rework to see if it can be done in a similar way to the book","distinct":true,"url":"https://api.github.com/repos/teberger/software-foundations/commits/35cde6eab41eda8bc7e6b824eea457a198fc3ab7"}]}