Way simpler

This commit is contained in:
2025-10-14 12:15:54 +02:00
parent a4957f2f4b
commit 67c63e7b23

View File

@ -1,15 +1,12 @@
(define nums '(1 2 3 4 5 6 7 8 9)) (define nums '(1 2 3 4 5 6 7 8 9))
(define valid (defun amount (x y)
(lambda (x) (foldr (lambda (z q) (if (eq x z) (+ q 1) q)) 0 y))
(foldr
(lambda (y z) (defun valid (x)
(match y (if (= 9 (length x))
(nil z) (foldr (lambda (y z) (if (<= y 1) z nil))
(_ (match (filter (lambda (q) (= q y)) nums) t
(((? r) . nil) (match (filter (lambda (q) (eq r q)) x) (map (lambda (y) (amount y x)) nums))
(((? _)) z) nil
(_ nil))) ))
(_ nil)))))
t
x)))