From: jim Date: Sat, 7 Feb 2015 03:37:52 +0000 (-0500) Subject: Add Dana Scott, demote Dijkstra, add de Bruijn X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=3e8962cf1847433bf850b6cbd63f62277a46c6f4;hp=3e8962cf1847433bf850b6cbd63f62277a46c6f4;p=lambda.git Add Dana Scott, demote Dijkstra, add de Bruijn ---