Skip to content
Meet other local people interested in Agda: share experiences, inspire and encourage each other! Join a Agda group.
3,622
members
9
groups
Join Agda groups

Largest Agda groups

3

Buenos Aires Haskell Meetup

492 Haskellers | Buenos Aires,
Photo of Buenos Aires Haskell MeetupOrganized by Ezequiel Alvarez
4

Lambda LA

322 Members | Los Angeles,
Photo of Lambda LAOrganized by Chris McKinlay
5

Haskell DC

246 Haskellers | Arlington,
HD
Organized by James
6

Sydney Type Theory

241 type theorists | Sydney,
Photo of Sydney Type TheoryOrganized by Mark Hopkins
7

Functor fest!

166 Miembros | Montevideo,
Photo of Functor fest!Organized by Germán Ferrari
8

Lambda Düsseldorf

128 Lambdas | Düsseldorf,
Photo of Lambda DüsseldorfOrganized by Jens Bendisposto
9

Paris Idris Group

54 Membres | Paris,
Photo of Paris Idris GroupOrganized by Christophe Calvès