77
members
16
online
0
boosts
Nov 06, 2024
created
Mar 30, 2026
added to disdex
Jul 25, 2026
last checked
members + online
membersonline
785839190Jul 13Jul 18Jul 25
games (0)
no games associated with this server
Idris community
1,414 members200 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 (1)
| Code | Inviter | Status |
|---|---|---|
| 2cGwuhnABA | @mortal_instrument | alive |