Meet other local people interested in Agda: share experiences, inspire and encourage each other! Join a Agda group.
3,622
members9
groupsLargest Agda groups
1
Organized by Ron Efroni


Bay Area Haskell & Functional Programming User Group
1,379 Haskellers | San Francisco,



5
9
Newest Agda groups
Lambda Düsseldorf
128 Lambdas
Started Jan 1 in Düsseldorf, de
Paris Idris Group
54 Membres
Started Jan 1 in Paris, fr
Functor fest!
166 Miembros
Started Jan 1 in Montevideo, uy
Lambda LA
322 Members
Started Jan 1 in Los Angeles, us
Sydney Type Theory
241 type theorists
Started Jan 1 in Sydney, au
Buenos Aires Haskell Meetup
492 Haskellers
Started Jan 1 in Buenos Aires, ar