Once opam installed:
$ opam install archetype
For information, list of dependencies:
ocaml >= 4.07.0
dune >= 1.5.0
why3 >= 1.2.0
yojson >= 1.5.0
ppx_deriving >= 4.2.1
ppx_deriving_yojson >= 3.3
Please refer to this page to download and install VS code.
Install through VS Code extensions. Search for
Can also be installed with VS Code Quick Open: press
Cmd/Ctrl + P, paste the following command, and press enter.
ext install edukera.vscode-archetype
The vscode extension is configured via the normal vscode settings screen.