Pie Interpreter Wiki

Welcome to the Pie Interpreter Wiki! This project implements the Pie language as described in "The Little Typer" by Daniel P. Friedman and David Thrane Christiansen.

Quick Navigation

Pie Language Overview

An introduction to the Pie language for users with experience in other theorem provers.

System Architecture

Details about the implementation of the Pie interpreter.

Contributing Guide

Information for those who want to contribute to the project.

Getting Started

To get started with the Pie interpreter:

1. Clone the repository:

   git clone https://github.com/ZhangQixiang123/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))