scala-lang
scala-lang copied to clipboard
scala
sources for the Scala language website
As documented here: https://www.scala-lang.org/2020/06/29/one-click-install.html Fails with `Error downloading gz+https://github.com/coursier/coursier/releases/download/v2.1.0-M5-18-gfebf9838c/cs-x86_64-pc-linux.gz`. It seems the client is unable to handle gzipped content? This is described in an [issue](https://github.com/coursier/coursier/issues/2362) on the coursier repo. The...
over at https://github.com/scala/scala.github.com/blob/master/_config.yml we have: ``` markdown: kramdown kramdown: input: GFM ``` it would be great to standardize on the same thing here. for multiple reasons: 1) GitHub Flavored Markdown...
as previously discussed on #850. I agree with @martijnhoekstra who wrote: > HKTs are a feature that really sets scala apart from other languages like kotlin, an should IMO therefore...
this came up over at #1021, where I wrote: > The front page could link to a dedicated page for listing IDE and editor support, and then there'd be room...
I've never understood what the difference between "Blog", "News", and "Announcement" is supposed to be at https://www.scala-lang.org/blog/ and worse, we have published some posts that aren't in any of the...
I've been meaning to report that the main feed hasn't been updating since October, but suddenly it updated when the MOOC edx announcement was made in #847 . http://scala-lang.org/feed/index.xml The...
e.g., personally I install sbt and scala on MacOS using Homebrew see discussion at https://github.com/scala/scala-lang/pull/957 ; see also https://kotlinlang.org/docs/tutorials/command-line.html
Lightbend training data includes "On Demand" training which we don't display on our front page or /training pages ``` sessions": Array[1][ { "where": "Virtual Classroom", "when": "On demand", "trainers": null,...
The Scala website has a section for learning resources: http://scala-lang.org/community/index.html#community-libraries-and-tools. However, I think it deserves its own independent webpage. People visiting the website may miss "Community-Powered Learning Resources" and "Community...
Result from discussion on gitter from 17.10.2016 is that both sites should be merged. I also asked about PRs that they're getting accepted and that Simon has done quite a...
