« first day (2234 days earlier)      last day (32 days later) » 

Unrelated String
Unrelated String
02:10
@DLosc that, and <₁ doesn't work on strings
(or lists of strings)
...
...
@DLosc remember what you said about "That use of ᵛ is really clever!"?
the pairs can't all be the same value if there aren't any pairs
i should probably add this to that tips post
DLosc
DLosc
02:30
@UnrelatedString Whaaaat
(TBF, that's not entirely obvious... given that, for example, = does succeed on an empty list.)
Unrelated String
Unrelated String
02:51
yeah
i did not actually expect that to work; half thought it would just succeed with an unbound variable or something

« first day (2234 days earlier)      last day (32 days later) »