package Ġi _ introduction ._ 4 _ L amb das Ċ Ċ import Ġutil . TODO Ċ import Ġutil . doc 4 Ċ Ċ fun Ġexample () Ġ{ ĊĊĠĠĠ Ġval Ġsum Ġ= Ġ{ Ġx : ĠInt , Ġy : ĠInt Ġ-> Ġx Ġ+ Ġy Ġ} ĊĠĠĠ Ġval Ġsquare : Ġ( Int ) Ġ-> ĠInt Ġ= Ġ{ Ġx Ġ-> Ġx Ġ* Ġx Ġ} ĊĊĠĠĠ Ġsum ( 1 , Ġsquare ( 2 )) Ġ== Ġ 5 Ċ } Ċ Ċ fun Ġtodo Task 4 ( collection : ĠCollection < Int >) Ġ= Ġcollection . any Ġ{ Ġi Ġ-> Ġi Ġ% Ġ 2 Ġ== Ġ 0 Ġ} Ċ Ċ fun Ġtask 4 ( collection : ĠCollection < Int >): ĠBoolean Ġ= Ġtodo Task 4 ( collection )