Data.SBV.Examples.Puzzles.MagicSquare

type Elem

type Row

type Board

check

diag

isMagic

chunk

magic