programminglanguagesclub/elemental-magicks

Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!

Idris