Merge branch 'master' into working
[lambda.git] / people.mdwn
2015-02-07 jimPromote de Bruijn
2015-02-07 jimAdd Dana Scott, demote Dijkstra, add de Bruijn
2015-02-07 jimadd Steele
2015-02-03 jimrename _people.mdwn to people.mdwn