$forall menuType <- menuTypes $case menuType $of NavbarAside (MenuItem label mIcon route _)
  • $if isJust mIcon
    #{label} $of _

    WiSe 17/18
    • IXD
      Interaction Design
    • FFP
      Fortgeschrittene Funktionale Programmierung
    • DBS
      Datenbanksysteme