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.
RobertKirk/Graph-Comonads-from-Pebble-Games
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
