NavbarLefts

$forall menuType <- menuTypes $case menuType $of NavbarLeft (MenuItem label route _)
• #{label} $of _

  WiSe 17/18

  • CD
  • IxD
  • Funktionale Programmierung
  • Programmierung und Modellierung