%title What is a type? | Lambda the Ultimate
:webquote: http://lambda-the-ultimate.org/node/5604
%date 2020-09-27 Sun 21:49]
Selection:
I'll repeat this here, since it seems quite relevant.