Veranstaltungen/Haskell-Meetup: Unterschied zwischen den Versionen

Version vom 7. Februar 2024, 07:37 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 - 20:00 Uhr.

Termine

Nächster Termin: 2024-03-05 18:00 Uhr im Z1
- Vertiefung zu Liquid Haskell
- Web APIs mit Servant
2024-02-06 18:00 Uhr im Z1
- Functional Programm mit Lean
- Einführung zu Liquid Haskell
- Functional package management mit Guix und Nix

Links

Einführungsliteratur: Learn You a Haskell for Great Good

@@ Zeile 4: / Zeile 4: @@
 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.
+Wir treffen uns jeden 1. Dienstag im Monat um 18:00 Uhr - 20:00 Uhr.
 == Termine ==
@@ Zeile 14: / Zeile 14: @@
 ** [https://leanprover.github.io/functional_programming_in_lean/ Functional Programm mit Lean]
 ** Einführung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell]
-** Functional package management mit [https://guix.gnu.org Guix] und [https://nix.org Nix]
+** Functional package management mit [https://guix.gnu.org Guix] und [https://nixos.org Nix]
 == Links ==
 * Einführungsliteratur: [https://learnyouahaskell.github.io/chapters.html Learn You a Haskell for Great Good]