package Ġac . ob l . cc . todo Ċ Ċ import Ġjava . time . Instant Ċ Ċ data Ġclass ĠTodo Id ( val Ġvalue : ĠInt ) Ċ Ċ data Ġclass ĠNew ToDo Item ( val Ġtask : ĠString ) Ċ Ċ data Ġclass ĠTo Do Item ( val Ġid : ĠTodo Id , Ġval Ġtask : ĠString , Ġval Ġadded On : ĠInstant , Ġval Ġcompleted : ĠBoolean Ġ= Ġfalse ) Ċ