basant/src/raw/200927-2157.wiki

8 lines
168 B
Plaintext

%title What is a type? | Lambda the Ultimate
:webquote: http://lambda-the-ultimate.org/node/5604
%date [2020-09-27 Sun 21:56]
> Types are mostly used in three ways: