home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / TERMSIZE.REF < prev    next >
Text File  |  1996-06-04  |  657b  |  81 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = 5.
  6. --1> 
  7. *** No
  8. > 
  9. *** Yes
  10. A = 4, B = [a,b|B].
  11. --1> 
  12. *** No
  13. > 
  14. *** Yes
  15. A = 6, B = @.
  16. --1> 
  17. *** No
  18. > 
  19. *** Yes
  20. A = 9, W = s(X,W), X = s(Y), Y = t(Z,s,Y,X,Y,X,s(X,Y,X,t,u,s(X,W))), Z = int.
  21. --1> 
  22. *** No
  23. > 
  24. *** Yes
  25. A = 2.
  26. --1> 
  27. *** No
  28. > 
  29. *** Yes
  30. A = 2.
  31. --1> 
  32. *** No
  33. > 
  34. *** Yes
  35. A = 4.
  36. --1> 
  37. *** No
  38. > 
  39. *** Yes
  40. A = 4.
  41. --1> 
  42. *** No
  43. > 
  44. *** Yes
  45. A = 4, W = @, X = "a"(Y), Y = "b"(Z), Z = "c"(X,Y,Z,W,W).
  46. --1> 
  47. *** No
  48. > 
  49. *** Yes
  50. > > 
  51. *** Yes
  52. A = 1.
  53. --1> 
  54. *** No
  55. > 
  56. *** Yes
  57. A = 2.
  58. --1> 
  59. *** No
  60. > 
  61. *** Yes
  62. A = 1.
  63. --1> 
  64. *** No
  65. > 
  66. *** Yes
  67. A = 1.
  68. --1> 
  69. *** No
  70. > 
  71. *** Yes
  72. A = 2.
  73. --1> 
  74. *** No
  75. > 
  76. *** Yes
  77. A = 2, F = f(donald => duck).
  78. --1> 
  79. *** No
  80. > 
  81.