Binary Lambda Calculus programs mirror

The programs in this directory are mirrored from https://justine.lol/lambda/ -- they are originally a part of the post "Lambda Calculus in 383 Bytes" by Justine Tunney which introduces a very compact implementation of John Tromp's Binary Lambda Calculus (BLC) who authored and introduced most of these programs here.

These programs are meant to help test implementations of BLC as shells on top of λDNA. The online versions of these shells are here: BLC, BLC8.

BLC programs

These programs are written in ASCII 1s and 0s and are meant to be executed in vanilla BLC.

BLC8 programs

These programs are written in binary 1s and 0s and are meant to be executed in BLC8, a byte-oriented version of BLC that operates on actual bits.

Brainfuck interpreter

The following is a Brainfuck interpreter written in BLC:

And an example Hello World program for it: