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
The default implementation for If, Iff, etc. take lists of Conditionals as inputs, which can be excessively verbose in cases where there is only one Conditional. Adding a special constructor (e.g. something like Iff.s) which takes a single Conditional could make simple code look cleaner.
The text was updated successfully, but these errors were encountered:
The default implementation for
If
,Iff
, etc. take lists ofConditional
s as inputs, which can be excessively verbose in cases where there is only oneConditional
. Adding a special constructor (e.g. something likeIff.s
) which takes a singleConditional
could make simple code look cleaner.The text was updated successfully, but these errors were encountered: