Agda Meetups

Find out what's happening in Agda Meetup groups around the world and start meeting up with the ones near you.

loading data...
Groups 3 Members 374 Interested 13 Cities 3 Countries 3

Largest Meetup Groups

  • Put this list on your website
1

The goal of this meetup is to gather functional programmers for the purpose of sharing and presenting ideas related to functional programming. All functional languages are welcome, and all levels of expertise as well. This meetup group is looking for

164
Members
2

This group is for anyone interested in the Haskell programming language (or functional programming in general). Come join us, whether you're just getting started or eat, sleep, and breathe Haskell! Events include talks as well as hack sessions and so

123
Haskellers
3

A group in BA for anyone interested in Haskell, pure functional programming or ML-like languages! The idea is just to get together and share knowledge and experience. No need to know anything about the subject, only to be interested and excited to le

87
Haskellers

Newest Meetup Groups

  • Put this list on your website
January 13, 2015

A group in BA for anyone interested in Haskell, pure functional programming or ML-like languages! The idea is just to get together and share knowledge and experience. No need to know anything about the subject, only to be interested and excited to le

87
Haskellers
August 9, 2013

This group is for anyone interested in the Haskell programming language (or functional programming in general). Come join us, whether you're just getting started or eat, sleep, and breathe Haskell! Events include talks as well as hack sessions and so

123
Haskellers
August 12, 2012

The goal of this meetup is to gather functional programmers for the purpose of sharing and presenting ideas related to functional programming. All functional languages are welcome, and all levels of expertise as well. This meetup group is looking for

164
Members
  • Subscribe to a feed of Agda Meetup Groups:

Find a Agda Meetup Group near you