Open pietervdvn opened 9 years ago
A "More Set" is a set with at least one element, as analogue to Nat'
Nat'
{a}'
[a]'
{k --> v}'
The Any type is the supertype of each and every type. The syntactic sugar is a dot.
Any
.
E.g. const : a -> . -> b
const : a -> . -> b
Either a b = a | b
A "More Set" is a set with at least one element, as analogue to
Nat'{a}'[a]'{k --> v}'With single quote (')The
Anytype is the supertype of each and every type. The syntactic sugar is a dot..E.g.
const : a -> . -> b