Agda Meetup Groups

loading data...
Groups 2 Members 168 Interested 7 Cities 2 Countries 2

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

85
Members
2

This group is for anyone who wants to say, with confidence: “A monad is just a monoid in the category of endofunctors, what's the problem?”. I am starting this group because that is my goal is to learn Haskell and I think DC needs a Haskell Meetup. I

83
Haskellers

Newest Meetup Groups

  • Put this list on your website
August 9, 2013

This group is for anyone who wants to say, with confidence: “A monad is just a monoid in the category of endofunctors, what's the problem?”. I am starting this group because that is my goal is to learn Haskell and I think DC needs a Haskell Meetup. I

83
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

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

Find a Agda Meetup Group near you