118
members
9
online
0
boosts
Apr 25, 2019
created
Mar 30, 2026
added to disdex
Jul 26, 2026
last checked
members + online
membersonline
1188859290Jun 28Jul 11Jul 26
games (0)
no games associated with this server
Functional Programming
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
14,269 members1,629 online
PureScript
1,508 members174 online
purescript-jp
89 members11 online
OCaml
Discussion community centered around the OCaml programming language.
5,412 members648 online
Functional Programming 2024-2025
54 members3 online
Reason OCaml India
157 members6 online
FUN OCaml
115 members14 online
Haskell-jp
48 members7 online
discord-haskell
94 members24 online
H
Haskell.js
7 members2 online
haskell-twitch
253 members40 online
Functional
25 members8 online
invites (3)
| Code | Inviter | Status |
|---|---|---|
| Fw3mVZEZH3 | @haskman | alive |
| Ez3MU6W | @haskman | alive |
| sDHfscRdh7 | @haskman | — |