From cedcd63214264e21242505f1e92003f2420941c4 Mon Sep 17 00:00:00 2001 From: pingu Date: Tue, 14 Oct 2025 11:25:20 +0200 Subject: [PATCH] Now time to make sudoku --- sudoku.lispbm | 13 +++++++++++++ test.lispbm | 10 ---------- 2 files changed, 13 insertions(+), 10 deletions(-) create mode 100644 sudoku.lispbm delete mode 100644 test.lispbm 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))))