Any topics / discussions related to functional programming languages are welcome.
ML (Haskell/OCaml/Idris/Lean/Rocq/Agda/PureScript)
Beam (Erlang/Elixir/Gleam)
LISP/Scheme dialects/Clojure
Location: Pre6 (HQ Office), HSR Layout
https://maps.app.goo.gl/D5xgSfN5ZqWUt44c7
Featured submissions
See all-
Abhinav Sarkar
Basics of Type-level Programming in Haskell
We’ll learn about the basics of type-level programming in Haskell: more04 Jun 2026
