Changeset 899


Ignore:
Timestamp:
Jun 8, 2011, 2:17:20 PM (8 years ago)
Author:
mulligan
Message:

changed defn. of flatten

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

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