home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / CANONICA.REF < prev    next >
Text File  |  1996-06-04  |  581b  |  54 lines
  1.  
  2. *** Yes
  3. > > +(q,w)
  4. *** Yes
  5. > ->(->(a,b),v)
  6. *** Yes
  7. > :-(a,b)
  8. *** Yes
  9. > ::(|(a(w),w))
  10. *** Yes
  11. > <|(a,d)
  12. *** Yes
  13. > <|(a,d)
  14. *** Yes
  15. > =(<(+(1,2),-(3,4)),:>=(*(4,5),/(6,4)))
  16. *** Yes
  17. > xor(or(and(not(a),not(b)),not(c)),d)
  18. *** Yes
  19. > ;(a,s)
  20. *** Yes
  21. > ,(a,,(s,,(d,,(f,g))))
  22. *** Yes
  23. > ;(,(\+(a),\+(b)),;(\+(c),d))
  24. *** Yes
  25. > ;(,(\+(a),\+(b)),;(\+(c),d))
  26. *** Yes
  27. > 
  28. *** Yes
  29. > .(.(&(`(a),`(b)),c),`(d))
  30. *** Yes
  31. > 
  32. *** Yes
  33.  
  34. *** Yes
  35. > sdfr4
  36. *** Yes
  37. > ' s d '
  38. *** Yes
  39. > " s d "
  40. *** Yes
  41. > """s""d"""
  42. *** Yes
  43. > '''s''d'''
  44. *** Yes
  45. > 123
  46. *** Yes
  47. > 3711
  48. *** Yes
  49. > +(2 => 3)
  50. *** Yes
  51. > +(3)
  52. *** Yes
  53. > 
  54.