GitHub CreateEvent at 2014-04-18 17:40:05
Repository: Idris-dev
Actor: ahmadsalim
Payload: ref: improvement/assert_smaller
ref_type: branch
master_branch: master
description: A Dependently Typed Functional Programming Language
pusher_type: user