Exkurs - Kommentare
Diese Seite ist noch Baustelle
Arten von Kommentaren
... Beschreibung von verschiedenen Arten von Kommentaren allgemein: einzeilige Kommentare, mehrzeilige Kommentare, Kommentare mit Sonderfunktionen z.B. für Dokumentation
-- einzeiliger Kommentar
{-
mehrzeiliger
Kommentar
-}
{-|
doc-Kommentar, siehe Beispiel String.isEmpty (Quellcodefragment und Doku-Screenshot)
-}
-- Trick zum schnellen Umschalten
{--}
funktionAktiv x = 2 * x
--}
{--
funktionInaktiv x = 2 * x
--}