Merge pull request #121 from jayp/master

Added rules for true? and false?
This commit is contained in:
Daniel Compton 2015-04-20 13:52:23 +12:00
commit c6a5cfe7be
2 changed files with 6 additions and 0 deletions

View file

@ -17,6 +17,10 @@
[(< ?x 0) (neg? ?x)]
[(> 0 ?x) (neg? ?x)]
;; true? false?
[(= true ?x) (true? ?x)]
[(= false ?x) (false? ?x)]
; nil?
[(= ?x nil) (nil? ?x)]
[(= nil ?x) (nil? ?x)])

View file

@ -14,6 +14,8 @@
'(pos? x) '(> x 0)
'(neg? x) '(< x 0)
'(neg? x) '(> 0 x)
'(true? x) '(= true x)
'(false? x) '(= false x)
'(nil? x) '(= nil x)
'(nil? x) '(= x nil)))