Changeset 900 for src


Ignore:
Timestamp:
Jun 8, 2011, 2:24:15 PM (9 years ago)
Author:
sacerdot
Message:

New implementation of flatten was bugged: fixed.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/Util.ma

    r899 r900  
    136136  λA: Type[0].
    137137  λl: list (list A).
    138     foldr ? ? (λx. λy. append ? y x) [ ] l.
     138    foldr ? ? (append ?) [ ] l.
    139139
    140140let rec rev (A: Type[0]) (l: list A) on l ≝
Note: See TracChangeset for help on using the changeset viewer.