What we're about

For all who are fascinated by the Strongly Typed Functional Programming Languages and want to exchange ideas, knowledge, experience. Of course this includes academia, programmers in industry, hobbyists. It also includes discussions about FP, type systems and operating systems in general − for example topics about Haskell, rust, PureScript, Coq, Agda, NixOS ... − are welcome. It is fun meeting face to face, so instead reading and writing more listening and talking!

Past events (5)

Modular web apps with miso and zippers

GetSafe Office

Haskell in a production environment

Virtual Forge GmbH

Generalised Algebraic Data Types

Sovanta AG

Photos (1)