场景模型 elemental-magicks 返回
项目作者： programminglanguagesclub

项目描述 ：
Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!
高级语言： Idris
项目地址: git://github.com/programminglanguagesclub/elemental-magicks.git