73
members
8
online
0
boosts
Nov 06, 2024
created
Mar 30, 2026
added to disdex
May 02, 2026
last checked
members + online
not enough history yet — points appear as we scrape
games (0)
no games associated with this server
Idris community
1.5K members178 online
Idris Corp
4 members0 online
İdris BAKCAY
Sunucumuz Yayıncı Sunucusudur. Twitch'de yaptığımız, Canlı yayınlar ile eğlenebilirsiniz.
303 members19 online
Idris's Coaching Server
314 members38 online
Javelin and Idris Proprietor Club
146 members50 online
Functional Programming
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
14.3K members1.9K online
invites (1)
| Code | Inviter | Status |
|---|---|---|
| 2cGwuhnABA | @mortal_instrument | alive |