Veranstaltungen/Haskell-Meetup: Unterschied zwischen den Versionen
Nmeum (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Nmeum (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 8: | Zeile 8: | ||
== Termine == | == 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]] | * 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 | ** Einführung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell] | ||
== Links == | == Links == | ||
* Einführungsliteratur: [https://learnyouahaskell.github.io/chapters.html Learn You a Haskell for Great Good] | * Einführungsliteratur: [https://learnyouahaskell.github.io/chapters.html Learn You a Haskell for Great Good] |
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