IRISPlayground

Starting the playground

Loading packages and the language server

--packages
  1. Load packagesWorking
  2. Load the language serverStarting
  3. Open the editorWaiting

Packages stay in this browser's cache when it allows, so later visits can start faster.