Giters

tbeddy / mnk-idris

m,n,k-game engine (and variations) implemented in Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Explore replacing Board (k + mrest) (k + nrest) in type signatures

tbeddy opened this issue · comments

commented

I have the feeling that using either Fin or LTE would be more idiomatic and possibly more readable.

commented

A more concrete reason for using something other than Board (k + b) (k + a) is that k should not have to be smaller than both dimensions of the board (#8)