disdex
discord server index
Idris community

Idris community

YXmWC5yKYM
1,389
members
157
online
0
boosts
Apr 01, 2021
created
Mar 30, 2026
added to disdex
Oct 06, 2026
last checked

members + online

membersonline
1,3921,0446963480Sep 18Oct 02Oct 06

games (0)

no games associated with this server

Related servers

Idris
Idris
76 members16 online
Idris Corp
Idris Corp
4 members0 online
İdris BAKCAY banner
İdris BAKCAY
İdris BAKCAY

Sunucumuz Yayıncı Sunucusudur. Kick'de yaptığımız, Canlı yayınlar ile eğlenebilirsiniz.

304 members22 online
Idris's Coaching Server banner
Idris's Coaching Server
Idris's Coaching Server
312 members34 online
Flagship Proprietors Club
Flagship Proprietors Club
149 members64 online
Functional Programming
Functional Programming

All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.

14,229 members1,676 online

invites (2)

CodeInviterStatus
YXmWC5yKYM@gr8_danealive
UX68fDs2jc@identity5193alive