Skip to content

Agda

Meet other local people interested in Agda: share experiences, inspire and encourage each other! Join a Agda group.
pin icon
726
members
people1 icon
2
groups
Related topics
MySQL
Perl
Ruby
Python
C#
ColdFusion
CSS
C#
LAMP
PostgreSQL

Largest Agda groups

The Karlsruhe Functional Programmers Meetup Group
1

The Karlsruhe Functional Programmers Meetup Group

  • Photo of the user Member 1
  • Photo of the user Member 2
  • Photo of the user Member 3
598 members
Lambda Düsseldorf
2

Lambda Düsseldorf

  • Photo of the user Member 1
  • Photo of the user Member 2
  • Photo of the user Member 3
128 members

Newest Agda groups

Lambda Düsseldorf

128 Lambdas

The Karlsruhe Functional Programmers Meetup Group

598 Members