A few short videos to demonstrate various Visual Studio Code features.
Flix shows inline diagnostics.
Flix supports auto-completion of a range of program elements.
Flix supports snippet completion for large program fragments. For example, we can auto-complete trait instances.
Flix supports hovering over program fragments to show their documentation, type, effect, and kind.
Flix supports automatic renaming of most program elements.
Flix supports some quick fixes for simple program errors. Here we automatically derive a missing eq instance.
Flix supports code lenses for running main, functions, and tests.
