GitHub CreateEvent at 2014-10-27 13:19:04
Repository: soft-contract
Actor: philnguyen
Payload: ref: debug
ref_type: branch
master_branch: master
description: An prototype of soft contract verification for an untyped functional language
pusher_type: user