GitHub CreateEvent at 2014-04-29 16:14:10
Repository: okasaki-coq
Actor: kisom
Payload: ref: master
ref_type: branch
master_branch: master
description: Coq definitions of the data structures in PFDS.
pusher_type: user