What we're about

Meetup suggestions: https://github.com/munich-lambda/events
Chat room: #munichlambda on Freenode

Functional Programming enthusiasts, interested in a spectrum of functional languages, such as Clojure, Erlang, Haskell, Scala, Scheme, OCaml, ML, Agda topics, techniques and technologies evolving around functional programming. If you're interested in FP, and want to team up with other enthusiasts, share knowledge, extend your knowledge, join us! Anyone can benefit from FP, no matter which language you're using on a daily basis.

Past events (32)

On Beyond Prolog

Online event

Workshop: Introduction to Theorem Proving with Isabelle/HOL

Google Kontorhaus

Workshop: Introduction to Theorem Proving with Isabelle/HOL

Google Kontorhaus

August Meetup - Philosophy & Physics

Mayflower GmbH

Photos (302)