thraxil.org:

a lambda calculus interpreter written in xslt Tue 06 Nov 2001