http://www.plover.com/~mjd/perl Many interesting things here. The Lambda Calculus is under http://www.plover.com/~mjd/perl/lambda Hmmmm. Just tried to link three - no connection. Could be me...