/coq-devcontainer

A vscode devcontainer for working with coq

Primary LanguageShell

Haskell (Community)

Summary

Haskell is an advanced, purely functional programming language

This definition will hopefully get you going quickly with Haskell running as a remote container in vscode.

Metadata Value
Contributors Stuart Pike, Chuck Lantz, Javier Neira, eitsupi
Categories Community, Haskell
Definition type Dockerfile
Works in Codespaces Yes
Container host OS support Linux, macOS, Windows
Container OS Debian
Languages, platforms Haskell

Using this definition

While the definition itself works unmodified, you can select the version of Haskell the container uses by updating the VARIANT arg in the included .devcontainer/devcontainer.json file.

"build": {
    "dockerfile": "Dockerfile",
    "args": {
        "VARIANT": "9"
    }
}

Adding the definition to a project or codespace

  1. If this is your first time using a development container, please see getting started information on setting up Remote-Containers or creating a codespace using GitHub Codespaces.

  2. Start VS Code and open your project folder or connect to a codespace.

  3. Press F1 select and Add Development Container Configuration Files... command for Remote-Containers or Codespaces.

    Note: If needed, you can drag-and-drop the .devcontainer folder from this sub-folder in a locally cloned copy of this repository into the VS Code file explorer instead of using the command.

  4. Select this definition. You may also need to select Show All Definitions... for it to appear.

  5. Finally, press F1 and run Remote-Containers: Reopen Folder in Container or Codespaces: Rebuild Container to start using the definition.

License

Copyright (c) Microsoft Corporation. All rights reserved.

Licensed under the MIT License. See LICENSE.