Skip to content

ex1 2

← Back

Basic Info

Functional Programming
└── Lab ML
    └── 0​429
        └── ex1 2.sml

Preview

(* Write a definition of `foldl` similar to our definition of `foldr` *)

fun foldl F y nil     = y
  | foldl F y (x::xs) = foldl F (F (x, y)) xs
;