Gabriel Santana Paredes 9b79f2b053 impr(language): add more words to Scala (Hombre-x) (#4933) ... * impr(language): add new words to Scala * Update code_scala.json * Added Scala common words Some new words include: - Typeclases (Functor and Monad) - Types (Double, Option, Either, IO, ZIO, etcetera...) - Scala 3 grammar keywords (given and using) - Operators (:::, <=, >=, ===, etcetera...) - Combinators (flatMap, foldLeft, traverse, etcetera...) * fix(languages): removed duplicate on Scala * Update code_scala.json * fix: removed duplicated word "@main" * fix(language): removed duplicate on Scala * Update code_scala.json * fix: removed duplicated word "@main"		2024-01-18 10:49:41 +01:00
..
.well-known
about	chore: add supporter	2023-12-22 12:58:33 +01:00
challenges
css
fonts	feat(font): add CommitMono (#4887) m2x07	2024-01-08 15:04:23 +01:00
funbox	fix(funbox): missing background image and extra scrolling in space balls (yunfachi) (#4872)	2023-12-20 16:08:23 +01:00
html	fix(about): "amount" to "number" (borisnezlobin) (#4856)	2023-12-11 12:55:34 +01:00
images	impr: increase favicon quality by using svg (fehmer) (#4652)	2023-09-25 11:41:04 +01:00
js	chore: update jQuery to 3.7.1 (fehmer) (#4649)	2023-09-21 13:06:11 +01:00
languages	impr(language): add more words to Scala (Hombre-x) (#4933)	2024-01-18 10:49:41 +01:00
layouts	Open feat(layouts): add graphite_angle_vc (rdavison) (#4926)	2024-01-15 13:25:20 +01:00
quotes	impr(quotes): add portuguese quote (NipulM) (#4932)	2024-01-18 10:48:34 +01:00
sound	impr(sound): add support for various error sounds (W0LFB0MB) (#4679)	2023-10-02 16:09:30 +01:00
themes	fix: ligatures not displayed correctly with dark_note theme (fehmer) (#4914)	2024-01-15 12:29:55 +01:00
webfonts	feat(font): add CommitMono (#4887) m2x07	2024-01-08 15:04:23 +01:00
email-handler.html	refactor: rename centerContent to contentWrapper	2023-09-23 12:17:49 +01:00
main.html	impr: update title on page change	2023-09-27 11:16:34 +01:00
manifest.json
privacy-policy.html	docs: fix missing space	2023-11-16 13:46:19 +00:00
robots.txt
security-policy.html	docs: update discord username	2023-09-25 12:22:14 +01:00
sitemap.xml
terms-of-service.html	docs: update discord username	2023-09-25 12:22:14 +01:00