From 10eb0703c694ab0062bcf1475e7b6c0fa9b37094 Mon Sep 17 00:00:00 2001 From: fill-the-fill Date: Thu, 1 Sep 2022 15:44:50 +0800 Subject: [PATCH] Add a new builder tool tag - PureScript --- src/data/builder-tools.js | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/data/builder-tools.js b/src/data/builder-tools.js index 4663fc1fb2..271124ebb3 100644 --- a/src/data/builder-tools.js +++ b/src/data/builder-tools.js @@ -175,6 +175,14 @@ export const Tags = { color: '#7e6a4c', }, + // Purescript + purescript: { + label: "Purescript", + description: + "PureScript language", + icon: null, + color: '#0F9D58', + }, }; // Add your builder tool to (THE END OF) this list.