7 lines
191 B
Plaintext
7 lines
191 B
Plaintext
%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.
|
|
|