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

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