GitHub repository: KesterTong/idris2048
Primary language: Idris
Description: 2048 in Idris