Skip to content

Latest commit

 

History

History
33 lines (19 loc) · 998 Bytes

CONTRIBUTING.md

File metadata and controls

33 lines (19 loc) · 998 Bytes
Raw

Introduction

This is a Visual Studio Code extension for Agda.

Having some frontend development skills will definitely help you contribute to this project (but don't worry, you'll manage even if you don't have them)

Language

This project is written in ReScript. It's essentially OCaml that compiles to JavaScript, so that we don't have to write JavaScript ourselves.

Framework

We use React as the frontend framework. It comes with a nice binding for ReScript.

Setup

You'll need to install Node.js for building the project.

After cloning the files, download dependencies and build files with:

npm install 
npm run build

Fire up this command to enter the "watch mode" so that you don't have to rebuild stuff manually:

npm run dev

Press F5 in VS Code and you should have a extension development host with agda-mode running!