home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / CANONICA.IN < prev    next >
Text File  |  1996-06-04  |  733b  |  25 lines
  1. write_canonical(`(q+w))?
  2. write_canonical((a->b->v))?
  3. write_canonical(a:-b)?
  4. write_canonical(`(::a(w)|w))?
  5. write_canonical(a<|d)?
  6. write_canonical(<|(a,d))?
  7. write_canonical(`(1+2 < 3-4 = 4*5 :>= 6/4))?
  8. write_canonical(`(not a and not b or not c xor d))?
  9. write_canonical(`(a;s))?
  10. write_canonical((a,s,d,f,g))?
  11. write_canonical((\+ a , \+ b ; \+ c ; d))?
  12. write_canonical(`((\+ a , \+ b ; \+ c ; d)))?
  13. write_canonical(`(a:b))?
  14. write_canonical(`( `a & `b.c.`d))?
  15. write_canonical(`( `a & `b . c . `d))?
  16. write_canonical(sdfr4)?
  17. write_canonical(' s d ')?
  18. write_canonical(" s d ")?
  19. write_canonical("""s""d""")?
  20. write_canonical('''s''d''')?
  21. write_canonical(1,2,3)?
  22. write_canonical(1+2,3+4,5+6)?
  23. write_canonical(+(2=>3))?
  24. write_canonical(`+(3))?
  25.