Skip to content

Idris

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

Largest Idris groups

Sydney Type Theory
1

Sydney Type Theory

  • Photo of the user Member 1
  • Photo of the user Member 2
225 members

Newest Idris groups

Sydney Type Theory

225 type theorists