Implementation of Pie, following The Little Typer
We have published the Pie language server as a VSCode extension, named pie-lsp
To get started with the Pie interpreter:
-
Clone the repository:
git clone https://github.com/source-academy/pie-slang.git cd pie-slang
-
Install dependencies:
yarn install
-
Build the project:
yarn build
-
Use conductor: find dist files in
./dist
folder. -
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.