Skip to content
Home
Topics
Agda
Germany
Agda
Meet other local people interested in Agda: share experiences, inspire and encourage each other! Join a Agda group.
703
members
2
groups
Join Agda groups
Related Topics:
MySQL
Perl
Ruby
Python
C#
ColdFusion
CSS
C#
LAMP
PostgreSQL
Largest Agda groups
1
The Karlsruhe Functional Programmers Meetup Group
575 Members
|
Karlsruhe,
Organized by DavidFarago
2
Lambda Düsseldorf
128 Lambdas
|
Düsseldorf,
Organized by Jens Bendisposto
Show all
Newest Agda groups
Lambda Düsseldorf
128 Lambdas
Started Jan 1 in Düsseldorf, de
The Karlsruhe Functional Programmers Meetup Group
575 Members
Started Jan 1 in Karlsruhe, de