200927-2157

published 2020-09-27 21:57

updated 2020-09-27 21:57

%title What is a type? | Lambda the Ultimate http://lambda-the-ultimate.org/node/5604 %date [2020-09-27 Sun 21:56]

Types are mostly used in three ways: