Log of changes on this site
August 2002 through July 2003

 

 

Please refer to ChangeLog.html for the most recent changes


July 4, 2003


June 1, 2003


May 4, 2003


April 4, 2003


March 1, 2003


February 7, 2003


January 1, 2003

A new page Lambda Calculus and Lambda Calculators describes several lambda-calculators and applies them to interesting problems in lambda-calculus. Of a particular note:

December 1, 2002


November 10, 2002


October 11, 2002


September 1, 2002


August 4, 2002


August 2001 through July 2002

continues in a separate document, ChangeLog-6.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html