From 52fb2886fac5141790ed1fa6f75f22a03388e8c8 Mon Sep 17 00:00:00 2001 From: Jeremiah Boby Date: Tue, 22 May 2018 20:10:34 +0100 Subject: Added our new partner - Functional Programming - to the partners page! --- static/images/partners/functional programming.png | Bin 0 -> 40270 bytes static/partners.json | 15 ++++++++++----- 2 files changed, 10 insertions(+), 5 deletions(-) create mode 100644 static/images/partners/functional programming.png (limited to 'static') diff --git a/static/images/partners/functional programming.png b/static/images/partners/functional programming.png new file mode 100644 index 00000000..dae5ac74 Binary files /dev/null and b/static/images/partners/functional programming.png differ diff --git a/static/partners.json b/static/partners.json index d3211a99..1aef2416 100644 --- a/static/partners.json +++ b/static/partners.json @@ -1,14 +1,14 @@ { + "Functional Programming": { + "banner": "/static/images/partners/functional programming.png", + "description": "Functional Programming is a server for discussing functional languages like Haskell, Idris, Elixir and Lisp as well as related academic fields such as type theory, category theory, proof assistants, and more!", + "invite": "https://discord.gg/kWJYurV" + }, "Do You Even Python?": { "banner": "/static/images/partners/dyep.png", "description": "Do You Even Python? is a server for discussions and learning about Python where you can come and chat with beginners and experienced Pythonistas alike, come and join us!", "invite": "https://discord.gg/jQtfh66" }, - "STEM": { - "banner": "/static/images/partners/stem.png", - "description": "STEM is a growing server dedicated to discussion and education pertaining to subjects within the fields of Science, Technology, Engineering, and Mathematics. We aim to provide our members with an engaged, skilled, friendly community. We hope to see you soon!", - "invite": "https://discord.gg/XBGetGp" - }, "Code Monkeys": { "banner": "/static/images/partners/code monkeys.png", "description": "We at Code Monkeys are dedicated to provide a friendly environment for programmers and tech enthusiasts alike. The community here is dedicated to giving and receiving great help and advice for a variety of programming languages. Help us build a large and friendly community at Code Monkeys by joining today!", @@ -19,6 +19,11 @@ "description": "Programming was created in 2016, and is an active community around various programming languages, operating systems, as well as hardware, security, and low-level programming.", "invite": "https://discord.gg/010z0Kw1A9ql5c1Qe" }, + "STEM": { + "banner": "/static/images/partners/stem.png", + "description": "STEM is a growing server dedicated to discussion and education pertaining to subjects within the fields of Science, Technology, Engineering, and Mathematics. We aim to provide our members with an engaged, skilled, friendly community. We hope to see you soon!", + "invite": "https://discord.gg/XBGetGp" + }, "Hacking - Coding": { "banner": "/static/images/partners/hacking-coding.png", "description": "Hacking-Coding is a server for discussions about ethical hacking, programming, and infosec in general. We have over 5,000 members. People of all skill levels are welcome to join.", -- cgit v1.2.3