We have a very small handful of built-in things (==, Bool, True, False, if, let); is there anything else that are useful enough to include, if not as part of the language, in some kind of prelude?
Possible built-ins
[ ] and, or, not
[ ] == for recursive types
[ ] Nat literals, +
Possible for prelude
[x] Unit
[ ] List a
[ ] Nat
[ ] weigh which maps a Nat n to the distribution {unit: n}
[x] Zero (as default type for unsolved type variables, instead of Unit)
We have a very small handful of built-in things (==, Bool, True, False, if, let); is there anything else that are useful enough to include, if not as part of the language, in some kind of prelude?
Possible built-ins
Possible for prelude
weighwhich maps a Natnto the distribution {unit: n}