m,n,k-game engine (and variations) implemented in Idris
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool