aboutsummaryrefslogtreecommitdiff
path: root/readme.md
blob: 624820676cf1e413eb50d8c419aca4e0072687ad (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
# 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)
-   [Video](https://media.ccc.de/v/gpn22-262-programmieren-mit-dem-puren-lambda-kalkl#t=362)