GitHub CreateEvent at 2014-12-09 23:50:39
Repository: pbdtt-presentatie10dec
Actor: toonn
Payload: ref: gh-pages
ref_type: branch
master_branch: master
description: Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen."
pusher_type: user