Discordserver
Functional Programming
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
Members
14,228
Language
Language unspecified
Region
Global
Published
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
Members
14,228
Language
Language unspecified
Region
Global
Published
Similar communities worth exploring next.
CodeSupport is a community dedicated to giving guidance about programming, as well as creating conversation.
Join the official Vue.js Discord channel to meet other Vue.js developers!
null Public discord server invitation for Vue Material. The invitation displayed this community when checked.
The best chat community for professionals using React or React Native
We're a large community focused around the Python programming language. We believe that anyone can learn to code.
A community of over 30,000 JavaScript developers. Join us to learn something new, help others, and have some fun.