Skip to content

source-academy/pie-slang

Repository files navigation

pie-slang

Implementation of Pie, following The Little Typer

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.

About

Implementation of Pie, following The Little Typer

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 8