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

    WiSe 17/18
    • CD
    • IxD
    • Funktionale Programmierung
    • Programmierung und Modellierung