{"name":"lambda-lisp","summary":"Lisp interpreter written in untyped lambda calculus","description":"LambdaLisp is a Lisp interpreter written as a closed untyped lambda calculus term.\nIt is written as a lambda calculus term LambdaLisp = λx. ... which takes a string\nx as an input and returns a string as an output. The input x is the Lisp program\nand the user's standard input, and the output is the standard output. Characters\nare encoded into lambda term representations of natural numbers using the Church\nencoding, and strings are encoded as a list of characters with lists expressed as\nlambdas in the Mogensen-Scott encoding, so the entire computation process solely\nconsists of the beta-reduction of lambda terms, without introducing any\nnon-lambda-type object.","homepage_url":"https://github.com/woodrush/lambdalisp","license":"MIT","attribute_paths":["lambda-lisp"],"releases":[{"version":"2022-08-18","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"lambda-lisp","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/00a8z0mr7nkcif9sa7wx7py5rp3zcpk2-lambda-lisp-blc-2022-08-18","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}