vknabel opened this issue 3 years ago · 0 comments
Do we need a Char type? What are the benefits in contrast to the String type?