diff options
Diffstat (limited to 'contrib/ML4PG/coq/auxiliary_files.el')
-rw-r--r-- | contrib/ML4PG/coq/auxiliary_files.el | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/contrib/ML4PG/coq/auxiliary_files.el b/contrib/ML4PG/coq/auxiliary_files.el deleted file mode 100644 index 95a4ce0a..00000000 --- a/contrib/ML4PG/coq/auxiliary_files.el +++ /dev/null @@ -1,23 +0,0 @@ -(defun ml4pg-quicksort-pair (list) - (if (<= (length list) 1) - list - (let ((pivot (cadar list))) - (append (ml4pg-quicksort-pair (remove-if-not #'(lambda (x) (> (cadr x) pivot)) list)) - (remove-if-not #'(lambda (x) (= (cadr x) pivot)) list) - (ml4pg-quicksort-pair (remove-if-not #'(lambda (x) (< (cadr x) pivot)) list)))))) - - -(defun ml4pg-zip (l1 l2) - (do ((temp1 l1 (cdr temp1)) - (temp2 l2 (cdr temp2)) - (res nil)) - ((endp temp1) res) - (setf res (append res (list (append (list (car temp1)) (list (car temp2)))))))) - -(defun ml4pg-unzip (l) - (do ((temp l (cdr temp)) - (res1 nil) - (res2 nil)) - ((endp temp) (list (reverse res1) (reverse res2))) - (progn (setf res1 (cons (caar temp) res1)) - (setf res2 (cons (cadr (car temp)) res2))))) |