Out of curiosity mixed with desire to have the best programming tools starting with the best language possible and the best runtime possible (it mentions tooling software also)
Evaluating it led me to the situation shown below:
Further info:
(bash) sudo rpm –import https://packages.microsoft.com/keys/microsoft.asc
(bash) sudo wget -O /etc/yum.repos.d/microsoft-prod.repo https://packages.microsoft.com/config/fedora/33/prod.repo
(bash) sudo dnf install dotnet-sdk-5.0
… for current SDK (5) on Fedora 33
https://docs.microsoft.com/en-us/dotnet/fsharp/get-started/get-started-vscode
… for F# in VSCode first steps
