Contents

:-- 

(fu --u ()
   (- (_  )
           (-bjc *-* )
      (c ( _))
      (- (_ b )
              (-bjc *-* )
         (c ( _))
         (  b ))))

(fu -c ()
   (- ( b )
           (--u )
      ( 
          ($ (c "Su:        ~0~%" (+  b))
                  (c "Dffc: ~0~%" (-  b))
                  (c "Puc:    ~0~%" (*  b))
                  (c "Qu:   ~0~%" (f  b))
                  (c "R:  ~0~%" (  b))))))

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
zettacode-0.1.0	zettacode.files/arithmetic.integer/acl2.txt