Subject: RE: [hackers-il] DeCSS in Lambda Calculus [was Re: Hack Proposal : DeCSS in JavaScript]

From: Chen Shapira <[email-masked]>
Date: Wed, 18 Jul 2001 12:51:15 +0200

> Just a side note. I don't know how many of you visit DeCSS 
> regularily, but
> I noticed that somebody wrote DeCSS in pure lambda calculus. While the
> Scheme version is quite legible, I could not undertsand the LC one.
> 
> Oh well, I cannot understand my own LC code...

It wasn't meant to be read, it meant to be formally proved :-)