diff --git a/sudoku.lispbm b/sudoku.lispbm new file mode 100644 index 0000000..f2a337a --- /dev/null +++ b/sudoku.lispbm @@ -0,0 +1,13 @@ +(define nums '(1 2 3 4 5 6 7 8 9)) + +(define valid + (lambda (x) + (foldr + (lambda (y z) + (match (filter (lambda (q) (= q y)) nums) + (((? r) . nil) (match (filter (lambda (q) (= r q)) x) + (((? _)) z) + (_ nil))) + (_ nil))) + t + x))) diff --git a/test.lispbm b/test.lispbm deleted file mode 100644 index 607e397..0000000 --- a/test.lispbm +++ /dev/null @@ -1,10 +0,0 @@ -(defun fac (x) - (match x - (0 1) - (1 1) - (_ (* x (fac (- x 1)))))) - -(defun mymap (f m) - (if (eq m nil) - nil - (cons (f (car m)) (mymap m f))))