76
members
16
online
0
boosts
Nov 06, 2024
created
Mar 30, 2026
added to disdex
Oct 05, 2026
last checked
members + online
membersonline
775738190Sep 18Oct 01Oct 05
games (0)
no games associated with this server
Idris community
1,389 members157 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
312 members34 online
Flagship Proprietors Club
149 members64 online
Functional Programming
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
14,229 members1,676 online
invites (1)
| Code | Inviter | Status |
|---|---|---|
| 2cGwuhnABA | @mortal_instrument | alive |