Idris groups | Meetup

Skip to content

Meet other local people interested in Idris: share experiences, inspire and encourage each other! Join a Idris group.

6,188

members

14

groups

Join Idris groups

Related Topics:

Largest Idris groups

1

Bay Area Haskell & Functional Programming User Group

1,376 Haskellers | San Francisco,

Organized by Ron Efroni

2

Got.λ - Göteborg Functional Programming Group

1,167 Lambdas | Göteborg,

Organized by Johan Lodin

3

Chicago Haskell

521 Haskellers | Chicago,

Organized by Ian Shipman

Glühwein

4

Portland Functional Programming Study Group

512 Lambdaneers | Portland,

Organized by Lyle Kopnicky

5

Buenos Aires Haskell Meetup

492 Haskellers | Buenos Aires,

Organized by Ezequiel Alvarez

6

London Type-Driven Development

465 Typists | London,

Organized by Paul Cadman

modular synth

7

Orange Combinator - Functional Programming In OC

429 Lambdas | Irvine,

Organized 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!

8

Milwaukee Functional Programming User Group

383 Functional Programmers | Milwaukee,

Organized by Grey Hat

9

Haskell DC

246 Haskellers | Arlington,

Organized by James

10

Sydney Type Theory

241 type theorists | Sydney,

Organized by Mark Hopkins

Newest Idris groups

Orlando Racketeers

Started Jan 1 in Orlando, us

Lambda Düsseldorf

Started Jan 1 in Düsseldorf, de

London Type-Driven Development

Started Jan 1 in London, gb

Paris Idris Group

Started Jan 1 in Paris, fr

Orange Combinator - Functional Programming In OC

Started Jan 1 in Irvine, us

Started Jan 1 in Montevideo, uy