{"push_id":635637334,"size":1,"distinct_size":1,"ref":"refs/heads/typing-elim","head":"4290654cdd5b3c1b55d2333f4508e29adb161df9","before":"ae6c29d1e6c4e6a15d70030802f674d3a2330ef7","commits":[{"sha":"4290654cdd5b3c1b55d2333f4508e29adb161df9","author":{"email":"76b9b822a9b0ad304a8fed0a0c99ae638a3747cc@williamjbowman.com","name":"William J. Bowman"},"message":"Typing checking sans ≡ is becoming a problem\n\nelim tests now use the correct API, but typing is a problem without ≡\nwhile typing. I think I could strongly normalize types and such while\ntyping checking...","distinct":true,"url":"https://api.github.com/repos/bluephoenix47/cur/commits/4290654cdd5b3c1b55d2333f4508e29adb161df9"}]}