A behavioral game theory library in Idris.