26 Nov
2007
26 Nov
'07
1:44 p.m.
On Mon, 26 Nov 2007, Andrew Coppin wrote:
apfelmus wrote:
But we'd probably need the glossary articles first before linking to them :)
+12
I added added alpha, beta and eta conversion a while back. (And then some kind soul corrected it because half of what I wrote was actually *wrong*...) Anybody want to take a stab at all 15 kinds of morphisms? :-}
Let's start with polymorphism. :-)