GitHub repository: programminglanguagesclub/elemental-magicks
Primary language: Idris
Created: 2016-03-20T20:36:11Z
Description: Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!