1,409
members
162
online
0
boosts
Apr 01, 2021
created
Mar 30, 2026
added to disdex
Aug 17, 2026
last checked
members + online
membersonline
1,4171,0627083540Jul 18Jul 21Aug 17
games (0)
no games associated with this server
Idris
77 members16 online
Idris Corp
4 members0 online
İdris BAKCAY
Sunucumuz Yayıncı Sunucusudur. Kick'de yaptığımız, Canlı yayınlar ile eğlenebilirsiniz.
304 members22 online
Idris's Coaching Server
315 members54 online
Javelin and Idris Proprietor Club
148 members52 online
Functional Programming
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
14,284 members1,775 online
invites (2)
| Code | Inviter | Status |
|---|---|---|
| UX68fDs2jc | @identity5193 | alive |
| YXmWC5yKYM | @gr8_dane | — |