Skip to content
Meet other local people interested in Idris: share experiences, inspire and encourage each other! Join a Idris group.
3,469
members
7
groups
Join Idris groups
Related Topics:
MySQL
Perl
Ruby
Python
C#
ColdFusion
CSS
C#
LAMP
PostgreSQL

Largest Idris groups

1

Bay Area Haskell & Functional Programming User Group

1,379 Haskellers | San Francisco,
Photo of Bay Area Haskell & Functional Programming User GroupOrganized by Ron Efroni
2

Chicago Haskell

519 Haskellers | Chicago,
Photo of Chicago HaskellOrganized by Ian Shipman
Old Chicago Haskell Logo
New Chicago Haskell Logo
Glühwein
3

Portland Functional Programming Study Group

512 Lambdaneers | Portland,
Photo of Portland Functional Programming Study GroupOrganized by Lyle Kopnicky
4

Orange Combinator - Functional Programming In OC

423 Lambdas | Irvine,
Photo of Orange Combinator - Functional Programming In OCOrganized by John Soo
Ace Raulinatis showing off the type goodness and performance or Ur/Web.
Enthusiastic about Church encoding! Trevor teaches us about the lambda calculus!
5

Milwaukee Functional Programming User Group

382 Functional Programmers | Milwaukee,
Photo of Milwaukee Functional Programming User GroupOrganized by Grey Hat
6

Haskell DC

245 Haskellers | Arlington,
HD
Organized by James
7

Orlando Racketeers

9 Racketeers | Orlando,
OR
Organized by Jim Sandridge
Show all
Newest Idris groups
Orlando Racketeers
9 Racketeers
Started Jan 1 in Orlando, us
Orange Combinator - Functional Programming In OC
423 Lambdas
Started Jan 1 in Irvine, us
Chicago Haskell
519 Haskellers
Started Jan 1 in Chicago, us
Portland Functional Programming Study Group
512 Lambdaneers
Started Jan 1 in Portland, us
Haskell DC
245 Haskellers
Started Jan 1 in Arlington, us
Milwaukee Functional Programming User Group
382 Functional Programmers
Started Jan 1 in Milwaukee, us