diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/readme.md b/readme.md new file mode 100644 index 0000000..c1e0de1 --- /dev/null +++ b/readme.md @@ -0,0 +1,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) |