GitHub CreateEvent at 2014-06-03 16:16:20
Repository: idris-mahjong
Actor: silasm
Payload: ref_type: repository
master_branch: master
description: implementation of riichi mahjong in idris for fun and research.
pusher_type: user