GitHub PushEvent at 2014-02-02 19:25:21
Repository: StagedLambda
Actor: osa1
Payload: {"shas":[["18e26a977223cf9537b248d32674a00978b6bfd8","4a3f4704bc8d2eaf9c65274e8718c7eed4a49074@gmail.com","fix typos in value constructors, implement value_cases","osa1",true],["670c3d5705ab14325cc5f0cb7d0e8eeea63265d2","4a3f4704bc8d2eaf9c65274e8718c7eed4a49074@gmail.com","different formulation of function \"closed\"","osa1",true],["1a6cccef4191cb74f33921c7d32539843be53cbf","4a3f4704bc8d2eaf9c65274e8718c7eed4a49074@gmail.com","implement ty_cases. first try for progress theorem.","osa1",true]],"size":3,"ref":"refs/heads/master","head":"1a6cccef4191cb74f33921c7d32539843be53cbf"}