suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chkpt

Browse Source
This commit is contained in:
Jay McCarthy 2010-04-26 12:29:00 -06:00
parent e0b571618a
commit e0b684c2f0
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/schelog/schelog.rkt
View File

@ -213,8 +213,7 @@
(define %>= (make-binary-arithmetic-relation >=))
(define %< (make-binary-arithmetic-relation <))
(define %<= (make-binary-arithmetic-relation <=))
(define %=/= (make-binary-arithmetic-relation
(lambda (m n) (not (= m n)))))
(define %=/= (make-binary-arithmetic-relation (compose not =)))
;type predicates