pie-slang

Implementation of Pie, following The Little Typer

Getting Started

To get started with the Pie interpreter:

1. Clone the repository:

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

2. Install dependencies:

   npm install

3. Build the project:

   npm run build

4. Try a simple Pie program:

   (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.