Viktor Lin

To run VS Code remotely is quite simple, you just need to install [code server](https://github.com/cdr/code-server) and Agda on a server, then you can access the VS Code and install agda-mode-vscode...

There is another way to achieve what @glangmead describes, one can run Agda on a server and others (supposedly students) can connect to that server using VS Code and agda-mode-vscode...

@Integralist I faced similar issues installing different packages, I set clone_timeout to a very large number and it worked. `nil` or `false` doesn't seem to be recognized.

Hi, @Minoru, I've tried adding ```compilerTellDependencies [IdentifierDependency (fromFilePath fp)]``` before L472, where `fp` is the file path I have read from the `import` field, but it doesn't seems to track...

By passing `--verbose` I can see my file is correctly added to the dependencies, but Hakyll doesn't recognize it as edited when checking for out-of-date items, putting the file in...