projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
12ef1f8
)
Add Dana Scott, demote Dijkstra, add de Bruijn
author
jim
<jim@web>
Sat, 7 Feb 2015 03:37:52 +0000
(22:37 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sat, 7 Feb 2015 03:37:52 +0000
(22:37 -0500)
people.mdwn
patch
|
blob
|
history
diff --git
a/people.mdwn
b/people.mdwn
index
eaa1132
..
6dcf89a
100644
(file)
--- a/
people.mdwn
+++ b/
people.mdwn
@@
-5,7
+5,7
@@
* [Haskell Curry](https://en.wikipedia.org/wiki/Haskell_Curry)
* [John McCarthy](https://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29) <!-- "AI", Lisp -->
* [Gerald Sussman](https://en.wikipedia.org/wiki/Gerald_Jay_Sussman) <!-- Scheme, SICP --> and [Guy Steele](https://en.wikipedia.org/wiki/Guy_L._Steele,_Jr.)
* [Haskell Curry](https://en.wikipedia.org/wiki/Haskell_Curry)
* [John McCarthy](https://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29) <!-- "AI", Lisp -->
* [Gerald Sussman](https://en.wikipedia.org/wiki/Gerald_Jay_Sussman) <!-- Scheme, SICP --> and [Guy Steele](https://en.wikipedia.org/wiki/Guy_L._Steele,_Jr.)
-* [
Edsger Dijkstra](https://en.wikipedia.org/wiki/Edsger_W._Dijkstra
)
+* [
Dana Scott](https://en.wikipedia.org/wiki/Dana_Scott
)
* [Gordon Plotkin](https://en.wikipedia.org/wiki/Gordon_Plotkin)
## Other people important to computer science, but less directly to us ##
* [Gordon Plotkin](https://en.wikipedia.org/wiki/Gordon_Plotkin)
## Other people important to computer science, but less directly to us ##
@@
-13,5
+13,7
@@
* [Charles Babbage](https://en.wikipedia.org/wiki/Charles_Babbage)
* [Ada Lovelace](https://en.wikipedia.org/wiki/Ada_Lovelace)
* [John von Neumann](https://en.wikipedia.org/wiki/John_von_Neumann)
* [Charles Babbage](https://en.wikipedia.org/wiki/Charles_Babbage)
* [Ada Lovelace](https://en.wikipedia.org/wiki/Ada_Lovelace)
* [John von Neumann](https://en.wikipedia.org/wiki/John_von_Neumann)
+* [Edsger Dijkstra](https://en.wikipedia.org/wiki/Edsger_W._Dijkstra)
+* [Nicolaas de Bruijn](https://en.wikipedia.org/wiki/Nicolaas_Govert_de_Bruijn)
* [Dennis Ritchie](https://en.wikipedia.org/wiki/Dennis_Ritchie)
* [Donald Knuth](https://en.wikipedia.org/wiki/Donald_Knuth)
* [Dennis Ritchie](https://en.wikipedia.org/wiki/Dennis_Ritchie)
* [Donald Knuth](https://en.wikipedia.org/wiki/Donald_Knuth)