Introduction/elimination vs creating/using
tomjaguarpaw opened this issue · comments
tomjaguarpaw commented
The documentation of some libraries (e.g. bytestring, optics) talks about "introduction" and "elimination" of a data type. These are formal terms from mathematical logic. In common parlance we would probably say "creating" and "using" instead. Should we encourage a switch?