pie-slang

Implementation of Pie, following The Little Typer

Our Online Playground

We have a online playground for you to play with Pie. It is still under construction, especially for the language server part, so it might be buggy.

Our Language Server

We have published the Pie language server as a VSCode extension, named pie-lsp

Getting Started

To get started with the Pie interpreter:

1. Clone the repository:

   git clone https://github.com/source-academy/pie-slang.git
   cd pie-slang

2. Install dependencies:

   yarn install

3. Build the project:

   yarn build

4. Use conductor: find dist files in ./dist folder.

5. Try a simple Pie program on Source Academy, or the local web interface:

   (claim identity (-> Nat Nat))
   (define identity (λ (n) n))

   For more information about the project, please visit our wiki pages. To learn more about the language, you may read the book The Little Typer. Our wiki also contains a brief overview of the language.

Running the Frontend Locally

Once you have built the project, you can run the frontend locally:

1. Install the Live Server extension in VSCode.
2. Navigate to the web dir
3. Right click on index.html and select Open with Live Server.

Caveat: Opening the html file directly in the browser gives rise to cors errors and the editor will not be loaded.