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

    WiSe 17/18
    • Vorlesung 1
    • Vorlesung 2
    • Vorlesung 3
    • Vorlesung 4