https://github.com/source-academy/pie-slang
Implementation of Pie, following The Little Typer
https://github.com/source-academy/pie-slang
Last synced: 11 months ago
JSON representation
Implementation of Pie, following The Little Typer
- Host: GitHub
- URL: https://github.com/source-academy/pie-slang
- Owner: source-academy
- License: apache-2.0
- Created: 2024-11-15T06:37:02.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-05-14T07:58:04.000Z (about 1 year ago)
- Last Synced: 2025-05-14T08:47:15.775Z (about 1 year ago)
- Language: TypeScript
- Size: 6.44 MB
- Stars: 3
- Watchers: 2
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: COPYING
Awesome Lists containing this project
README
# pie-slang
Implementation of Pie, following The Little Typer
## Getting Started
To get started with the Pie interpreter:
1. Clone the repository:
```bash
https://github.com/source-academy/pie-slang.git
cd pie-slang
```
2. Install dependencies:
```bash
npm install
```
3. Build the project:
```bash
npm run build
```
4. Try a simple Pie program:
```scheme
(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.