Our first offline meetup for 2026!
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 Tech, HSR Layout
Featured submissions
See all-
AJ
Anupam Jain
A quick and pragmatic introduction to Category Theory (Part 2)
A continuation of the Category Theory talk from the September meetup. more17 Oct 2025
-
RD
Ramit Das
A walk through humanity's ideas of logic and computation
I shall try and present to you the journey humans took to reach the modern theorem provers. more24 Oct 2025