What is a type? | Lambda the Ultimate

published 2020-09-27 21:51

updated 2020-09-27 21:51

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.