Skip to content

Latest commit

 

History

History
12 lines (9 loc) · 165 Bytes

INSTALL.md

File metadata and controls

12 lines (9 loc) · 165 Bytes

Building

Requirements

  • NPM
  • Idris 2 compiler
  • Make

How to Build

  1. npm install
  2. make bundle

VSIX file will be located in the build directory.