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.