Changeset 698 for src/ASM/Util.ma


Ignore:
Timestamp:
Mar 18, 2011, 1:47:53 PM (9 years ago)
Author:
mulligan
Message:

Commit with changes to files to get our files to typecheck.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r697 r698  
    22include "basics/list.ma".
    33include "basics/types.ma".
     4
     5let rec foldl (A: Type[0]) (B: Type[0]) (f: A → B → A) (a: A) (l: list B) on l ≝
     6  match l with
     7  [ nil ⇒ a
     8  | cons hd tl ⇒ foldl A B f (f a hd) tl
     9  ].
     10
     11definition flatten ≝
     12  λA: Type[0].
     13  λl: list (list A).
     14    foldl ? ? (append ?) [ ] l.
    415
    516definition if_then_else ≝
Note: See TracChangeset for help on using the changeset viewer.