GitHub CreateEvent at 2014-12-16 05:45:13
Repository: javascript-semantics
Actor: daejunpark
Payload: ref: work
ref_type: branch
master_branch: master
description: KJS: A Complete Formal Semantics of JavaScript
pusher_type: user