wintermute/lambda-interpreter-war
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Making my lambda interpreters race
3 commits 1 branch 0 tags 27 KiB
  • Shell 100%
Find a file
Exact
wintermute 657d561ad0
2026-05-14 19:01:39 +02:00
haskell-lambda@0bd7baab05 Add submodules 2026-05-14 19:01:35 +02:00
spec init 2026-05-14 18:58:33 +02:00
src init 2026-05-14 18:58:33 +02:00
zig-lambda@9316df00c1 Add submodules 2026-05-14 19:01:35 +02:00
.gitignore init 2026-05-14 18:58:33 +02:00
.gitmodules init 2026-05-14 18:58:33 +02:00
build.sh init 2026-05-14 18:58:33 +02:00
README.md init 2026-05-14 18:58:33 +02:00

README.md

The lambda interpreter war

Write a spec conforming lambda calculus interpreter and race to the top.

Current implementations:

Zig: zig-lambda Haskell: haskell-lambda

Spec

Build

options not supported yet.

$ /build.sh <target>

Targets

haskell

Requires stack

zig

Requires zig

Test

does not exist yet. TODO.

$ /test.sh <target> --filter <filter>

Measure

does not exist yet. TODO.

$ ./plot_results.sh

Why

It's very fun to write interpreters and compilers etc. Lambda calculus is simple and well-studied.