package Ġxyz . jan f ick o . app hub . ui . dashboard Ċ Ċ import Ġxyz . jan f ick o . app hub . model . Project Ċ Ċ sealed Ġclass ĠDashboard State Ġ{ ĊĊĠĠĠ Ġclass ĠShow Projects ( val Ġprojects Ġ: ĠList < Project >) Ġ: ĠDashboard State () Ċ Ċ }