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
Lain has only 1% chance to flip an Option from None to Some. (Same chance is applied for the converse).
I think we should differentiate these two cases and have more chance to turn None into Some to reduce the risk of having duplicate inputs.
The text was updated successfully, but these errors were encountered:
jma-qb
added a commit
to jma-qb/lain
that referenced
this issue
May 16, 2024
Lain has only 1% chance to flip an
Option
fromNone
toSome
. (Same chance is applied for the converse).I think we should differentiate these two cases and have more chance to turn
None
intoSome
to reduce the risk of having duplicate inputs.The text was updated successfully, but these errors were encountered: