Changeset 356


Ignore:
Timestamp:
Dec 1, 2010, 10:29:48 PM (9 years ago)
Author:
sacerdot
Message:

Bug fixed: fold_left_i was actually a sort of fold_right_i :-)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/List.ma

    r352 r356  
    252252  match l with
    253253    [ Empty ⇒ x
    254     | Cons hd tl ⇒ f i (fold_left_i_aux A B f x (S i) tl) hd
     254    | Cons hd tl ⇒ fold_left_i_aux A B f (f i x hd) (S i) tl
    255255    ].
    256256
Note: See TracChangeset for help on using the changeset viewer.