GitHub PushEvent at 2014-11-18 23:11:44
Repository: thesis
Actor: adamsmasher
Payload: {"shas":[["ee5154141f5d2b030946b0a357aff641086ed5bb","cf63976f8debc28bdb1f73d434e2225e48327f18@gmail.com","complete a couple more cases of this proof","Adam Smith",true],["a955d7b165552a8d5774d304fa6a1069988fbff4","cf63976f8debc28bdb1f73d434e2225e48327f18@gmail.com","use an inductive definition rather than a fixpoint for is_term","Adam Smith",true],["537557292a0bdfdaef43dcd3f5920fc90d4cae27","cf63976f8debc28bdb1f73d434e2225e48327f18@gmail.com","make is_term a type, for use in the translation process","Adam Smith",true],["fa3ee396e41521c8eb79a6c50df8d1ccd76e8488","cf63976f8debc28bdb1f73d434e2225e48327f18@gmail.com","require that target_calculus has a bottom","Adam Smith",true],["2bad749c6d32327212a3299cdcf0c39fc1ae3cc8","cf63976f8debc28bdb1f73d434e2225e48327f18@gmail.com","add translation","Adam Smith",true]],"size":5,"ref":"refs/heads/master","head":"2bad749c6d32327212a3299cdcf0c39fc1ae3cc8"}