Ignore:
Timestamp:
Feb 12, 2009, 1:41:08 AM (12 years ago)
Author:
orlov
Message:
  • Include Ints function in the List library.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/refal/refal/plus/List.rfi

    r3991 r4074  
    55$func Id e.expr = e.expr;
    66
     7$func Append (e.expr1) e.expr2 = e.expr2expr1;
     8
     9$func Ints s.start s.end = e.list;
     10
    711$func? EqTerms t1 t2 = ;
    812
    913$func CompareTerms t1 t2 = s.Lt_or_Eq_or_Gt;
    10 
    11 $func Append (e.expr1) e.expr2 = e.expr2expr1;
    1214
    1315$func Zip (e.list1) (e.list2) = e.list;
Note: See TracChangeset for help on using the changeset viewer.