Skip to content

Instantly share code, notes, and snippets.

/gist:2152689

Created March 21, 2012 20:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save anonymous/2152689 to your computer and use it in GitHub Desktop.
Save anonymous/2152689 to your computer and use it in GitHub Desktop.
Download ZIP
making a list of stuff
Raw
gistfile1.txt
(defn row-of
([row]
(fresh [cell]
(sudoku-number cell)
(row-of row (list cell))))
([row w]
(fresh
[cell]
(sudoku-number cell)
(dist cell w)
(if (= (count w) 8)
(== row (cons cell w))
(row-of row (cons cell w))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment