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,455

members

16

groups

Join Idris groups

Related Topics:

Largest Idris groups

1

Bay Area Haskell & Functional Programming User Group

1,381 Haskellers | San Francisco,

Organized by Ron Efroni

2

Got.λ - Göteborg Functional Programming Group

1,110 Lambdas | Göteborg,

Organized by Jean-Louis Giordano

3

Portland Functional Programming Study Group

518 Lambdaneers | Portland,

Organized by Lyle Kopnicky

4

Buenos Aires Haskell Meetup

496 Haskellers | Buenos Aires,

Organized by Ezequiel Alvarez

5

Chicago Haskell

491 Haskellers | Chicago,

Organized by Ian Shipman

Glühwein

6

London Type-Driven Development

449 Typists | London,

Organized by Paul Cadman

modular synth

7

Milwaukee Functional Programming User Group

380 Functional Programmers | Milwaukee,

Organized by Grey Hat

8

Orange Combinator - Functional Programming In OC

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

9

Lambda Luminaries

365 Luminaries | Johannesburg,

Organized by Henry Steere

Legitimate, let's build something New.

Legitimate, let's build something New.

View of the lake - Lausanne, Switzerland

10

Sydney Type Theory

245 type theorists | Sydney,

Organized by Mark Hopkins

Newest Idris groups

Vancouver Functional Programming and Hikes

Started Jan 1 in Vancouver, ca

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