Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Refactor more-general?.

  • Loading branch information...
commit bd22b2a28e65c6c5c7349caf880dfc6ab542aa5a 1 parent 3b7ecd9
@arthurschreiber authored
Showing with 5 additions and 5 deletions.
  1. +5 −5 lisp/version_space.lisp
View
10 lisp/version_space.lisp
@@ -21,12 +21,12 @@
; --- some helpers ---
(defun includes (x y)
- (OR (equal x y) (equal x "*")))
+ (or (equal x y) (equal x "*"))
+)
-(defun more-general? (x y)
- (cond ((and (null x)(null y)) t)
- ((includes (car x) (car y))
- (more-general? (cdr x)(cdr y)))))
+(defun more-general? (a b)
+ (every 'includes a b)
+)
; --- specialize ---
Please sign in to comment.
Something went wrong with that request. Please try again.