GitHub PushEvent at 2014-08-05 06:04:02
Repository: AutoMath
Actor: listofoptions
Payload: {"shas":[["3d1dce63bb556b8bb8bb235049e8c63b8ef106fd","d8ed2c08fc3831c5e57a22c778fa6557e1e0dcd3@gmail.com","repl beginnings\n\ndone:\n* pretty printing\n* cleaned up main exec file\n* made the repl (almost, see below) functional\n* fixed an obvious bug in typeOf\n\ntodo:\n* ALL OF THE UNIT TESTS!\n* write a batch-mode file checker (cmd line interface)\n* do type checking on repl\n* do evaluation on repl\n* do color highlighting on repl\n* non-text proof save (cmd line interface) serialization","James",true]],"size":1,"ref":"refs/heads/master","head":"3d1dce63bb556b8bb8bb235049e8c63b8ef106fd"}