1,414
members
200
online
0
boosts
Apr 01, 2021
created
Mar 30, 2026
added to disdex
Jul 24, 2026
last checked
members + online
membersonline
1,4171,0627083540Jul 13Jul 18Jul 24
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,269 members1,629 online
invites (2)
| Code | Inviter | Status |
|---|---|---|
| YXmWC5yKYM | @gr8_dane | — |
| UX68fDs2jc | @identity5193 | — |