implementation of riichi mahjong in idris for fun and research.