You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, absolutely none of the standard library is annotated. In order to make Rtc useful, we need to annotate the type of the standard library. For this issue to be totally resolved, we'll need to address #5 and #11 (we can fake #5 for now by mutating the type_parameters property of the nominal types).
The text was updated successfully, but these errors were encountered:
Optionally, we should support #12 (for better annotations). In order for these standard library annotations to be used effectively, we should also implement #9.
Currently, absolutely none of the standard library is annotated. In order to make Rtc useful, we need to annotate the type of the standard library. For this issue to be totally resolved, we'll need to address #5 and #11 (we can fake #5 for now by mutating the type_parameters property of the nominal types).
The text was updated successfully, but these errors were encountered: