GitHub PushEvent at 2014-12-24 02:06:31
Repository: drafts
Actor: jozefg
Payload: {"shas":[["455f0721fcef463f3a275b16700e36bcf6ccfea3","f5584691b16a9a712917fe4b3d7a7f808a1fe369@cmu.edu","Fleshed out a definition of impredicative types","Danny Gratzer",true],["cf70fa754210ca00de83ea200829eb0e6bec810b","f5584691b16a9a712917fe4b3d7a7f808a1fe369@cmu.edu","Finished first draft of impredicative types","Danny Gratzer",true],["b1b5277c9a46fa2cda26f09f2b29e2776e8c86dc","f5584691b16a9a712917fe4b3d7a7f808a1fe369@cmu.edu","Fleshed out the conclusion of impredicative types a bit","Danny Gratzer",true]],"size":3,"ref":"refs/heads/master","head":"b1b5277c9a46fa2cda26f09f2b29e2776e8c86dc"}