Veranstaltungen/Haskell-Meetup: Unterschied zwischen den Versionen

Version vom 7. Februar 2024, 07:28 Uhr

Hier treffen sich ein paar Personen, die sich mit der Programmiersprache Haskell auseinandersetzen möchten. Dabei ist das Ziel, sich gegenseitig zu Helfen, Fragen zu beantworten und ins Gespräch zu kommen.

Wir treffen uns jeden 1. Dienstag im Monat um 18:00 Uhr.

Termine

**Nächster Termin:** 2024-03-05 18:00 Uhr im Z1
- Mehr zu Liquid Haskell
- Web APIs mit Servant
2024-02-06 18:00 Uhr im Z1
- Functional Programm mit Lean
- Einführung zu Liquid Haskell

Links

Einführungsliteratur: Learn You a Haskell for Great Good

@@ Zeile 8: / Zeile 8: @@
 == Termine ==
+* **Nächster Termin:** 2024-03-05 18:00 Uhr im [[Zweigstraße|Z1]]
+** Mehr zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell]
+** Web APIs mit [https://www.servant.dev/ Servant]
 * 2024-02-06 18:00 Uhr im [[Zweigstraße|Z1]]
-** Functional Programm mit Lean
+** [https://leanprover.github.io/functional_programming_in_lean/ Functional Programm mit Lean]
-** Einführung zu Liquid Haskell
+** Einführung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell]
-* 2024-03-05 18:00 Uhr im [[Zweigstraße|Z1]], Themen:
-** Mehr zu Liquid Haskell
-** Web APIs mit [https://www.servant.dev/ Servant]
 == Links ==
 * Einführungsliteratur: [https://learnyouahaskell.github.io/chapters.html Learn You a Haskell for Great Good]