GitHub CreateEvent at 2014-10-16 17:01:29
Repository: Idris-dev
Actor: victoredwardocallaghan
Payload: ref: refactor-prelude
ref_type: branch
master_branch: master
description: A Dependently Typed Functional Programming Language
pusher_type: user