aboutsummaryrefslogtreecommitdiff
path: root/readme.md
blob: c1e0de12662ae0c32b254becbf3d382582a179cc (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# GPN22

Minimal reference implementation for my introductory talk about lambda
calculus.

`language.js` defines a small (\~200LOC) node.js interpreter for `.gpn`
files.

## Usage

-   `cat std.gpn <file> | node language.js`
-   e.g. `cat std.gpn samples/factorial.gpn | node language.js`

## Talk

-   Slides: `slides.pdf`
-   Related projects: [bruijn](https://bruijn.marvinborner.de),
    [lambda-screen](https://lambda-screen.marvinborner.de),
    [infinite-apply](https://infinite-apply.marvinborner.de)