9 Apr
2021
9 Apr
'21
3:17 a.m.
08.04.21 19:58, ucodery@gmail.com пише:
I would like to propose adding literal syntax to allow creation of an empty set without the need to call the type constructor. I believe the best choice for such a literal, and one that has been proposed before, is `{,}`.
You can now use `{*()}` as a syntax for empty set.