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
Rescript pretty much uses arrays for everything - lists are slow, have annoying syntax, and are less favored idiomatically. So when we do something like String.split, the result should be arrays, not lists.
Rescript pretty much uses arrays for everything - lists are slow, have annoying syntax, and are less favored idiomatically. So when we do something like
String.split, the result should be arrays, not lists.