James Duley

If I open https://github.com/dotnet/roslyn-sdk/blob/main/samples/CSharp/SourceGenerators/SourceGenerators.sln from a fresh clone in VS I get a lot of errors when I open the demo files.  When I build the solution the errors...

What's the difference between this and idris-vscode

1

I'm just starting with Idris and it's unclear to me if I should use this extension or https://github.com/meraymond2/idris-vscode. Perhaps the README could highlight the differences?

OpenJFX can be built with webkit and media by adding the command line flags `-PCOMPILE_WEBKIT=true` `-PCOMPILE_MEDIA=true` to `gradle`.

This makes [this line](https://github.com/parched/FlatSharp/blob/f0c58a0fac00541ed34e0e81322c4781020db534/src/FlatSharp.Compiler/FlatSharpCompiler.cs#L141) work correctly

Ensure restore_term works correctly with DUPLEX

16

cc: Carlo Marcelo Arenas Belón cc: Phillip Wood

Make `sbt --version` respect SBT_OPTS and friends

4

Having set `SBT_OPTS="-Dsbt.boot.directory=/not/the/default"` I found when I ran `sbt --version` SBT was being redownloaded into `~/.sbt`. This fixes that and I assume `SBT_OPTS` wasn't ignored on purpose, but I'm not...