Implementing Game Comonads in Finite Model Theory using Dependent Types in Idris

The code from my 4th year Practical Project, in Idris. Find out more about Idris here https://www.idris-lang.org/, and after installing it run

idris StrategyTesting.idr

in the src directory it try it out.