gallery for the visualizer for chemlambda

downloads

Visual tutorial

Gallery:

:: how to make bubbles

:: Y combinator is a worm

:: the Turing combinator is the same worm eventually

:: self-multiplication of the K combinator

:: self-multiplication of the B combinator

:: the siamese S combinator

:: the correct self-multiplication of the S combinator

:: the siamese Omega combinator

:: the correct self-multiplication of the Omega combinator

:: bit propagation

:: the Omega combinator reductions

:: pred(3)=2

:: the YK chain

:: SKK reduces to I

:: KAB

:: a zipper

:: a set

:: a set? no, a ballet

my homepage