nixsearch / pkg / lambda-lisp

lambda-lisp

Lisp interpreter written in untyped lambda calculus

MIT github.com lambda-lisp 1 release newest changed 12 days ago

version2022-08-18 attributelambda-lisp rev02f5696b0e6097e589076d886b317b83ff0437d7 2026-09-13 · one commit for every system systemsaarch64-darwinaarch64-linuxx86_64-darwin✓ x86_64-linux

$ devbox add lambda-lisp@2022-08-18

$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#lambda-lisp

JSON: /v2/resolve?name=lambda-lisp&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
2022-08-18resolved	–	–	–	✓	`lambda-lisp`	02f5696b0e	2026-09-13

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.

Description

LambdaLisp is a Lisp interpreter written as a closed untyped lambda calculus term. It is written as a lambda calculus term LambdaLisp = λx. ... which takes a string x as an input and returns a string as an output. The input x is the Lisp program and the user's standard input, and the output is the standard output. Characters are encoded into lambda term representations of natural numbers using the Church encoding, and strings are encoded as a list of characters with lists expressed as lambdas in the Mogensen-Scott encoding, so the entire computation process solely consists of the beta-reduction of lambda terms, without introducing any non-lambda-type object.