<div dir="ltr">I have been encouraged to apply for funding to implement support for Unicode in Dafny.  Dafny natively supports expressing statements about sets and contract programming and a toy implementation turned out to be a fairly rote translation of the Unicode spec.  Dafny is also transpilation focused, so the primary interface must be highly functional and encoding neutral.<div><div><br></div><div>I found Swift's Unicode implementation to be my favorite thus far.  I would love pointers to other thoughtful designs and any feedback the list would like to share.<div><div><div><br></div><div><div><div><div><div dir="ltr" data-smartmail="gmail_signature">Thank you,<div>-Zach Lym</div></div></div></div></div></div></div></div></div></div></div>