disdex
discord server index
Functional Programming

Functional Programming

All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.

3MsgP4z
14,269
members
1,629
online
2
boosts
Feb 11, 2017
created
Mar 30, 2026
added to disdex
Jul 27, 2026
last checked

members + online

membersonline
14,29410,7207,1473,5730Jul 01Jul 15Jul 27

games (0)

no games associated with this server

Related servers

Functional Programming 2024-2025
Functional Programming 2024-2025
54 members3 online
Functional
Functional
25 members8 online
Functional Programming (non-woke edition)
Functional Programming (non-woke edition)
5 members1 online
BEAR-ly functional
BEAR-ly functional
20 members4 online
One Functional Person
One Functional Person
88 members18 online
Arturo Programming Language server
Arturo Programming Language server

Official Arturo Programming Language's Discord Community.Here, you may ask questions, interact and also show your work

192 members6 online
Function Musical
Function Musical
73 members19 online
Programming
Programming
19 members2 online
Programming
Programming
16 members2 online
Programming
Programming
16 members0 online
Programming
Programming
26 members2 online
programming.in.th
programming.in.th
388 members66 online

invites (27)

CodeInviterStatus
JeJ4kxr@arcaelyxalive
FvT2Y5N@arcaelyxalive
5FJCpNc@likliklikalive
kceyHgm@arcaelyxalive
wMebdPy@arcaelyxalive
fkFmHXD@arcaelyxalive
NAeMeES@arcaelyxalive
NGM7BGW@arcaelyx—
2SnfFDs@deleted_user_3c99f1dc382d—
3MsgP4z@jasonincanada—
pKYf3zDQU7@.maerwald—
nntGvbh@jiyinyiyong—
A9ngagt@arcaelyx—
qebcw8kUz8@adpx—
x4KaWjf@praveenp—
9spEdTNGrD@jneira—
8w9tRKa@arcaelyx—
8ESjA8d@agilesteel—
ZVNE9tU3vr@izuzu_izuzu—
K6XHBSh@arcaelyx—
jf6RhNp@arcaelyx—
WDqsWsnZfR@.maerwald—
8XGfNkpNzy@evie__ro—
kENVVQ5@softinio—
7meVVxA@arcaelyx—
eTbWSZj@tiltmesenpai—
xQwR7P7@nikivi—