GitHub CreateEvent at 2014-06-26 03:34:37
Repository: liquid-fixpoint
Actor: gridaphobe
Payload: ref: faststring
ref_type: branch
master_branch: master
description: Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
pusher_type: user