Lambda the Ultimate

maybe replace
http://lambda-the-ultimate.org/node/7
"complete" http://merd.net/pixel/language-study/diagram.html

with
http://rigaux.org/language-study/diagram.html