Open hjorthjort opened 1 year ago
This is because the construction of sets is not possible to discern from their types. We could do a set norn which builds up a set using in.
set
in
This is because the construction of sets is not possible to discern from their types. We could do a
setnorn which builds up a set usingin.