/GameTheory-Idris

A behavioral game theory library in Idris.

Primary LanguageIdris

Stargazers