@edwinbrady Would you please quantify „soon“ ;)
-
-
-
@zerology within the next few days...
End of conversation
New conversation -
-
-
@edwinbrady Page 10 with rule, in { n = 0 } both the vectors are empty but the second vector has length m so it should be ys rather tha []. -
@mukesh_tiwari No, using the pattern [] refines the second vector's length to O by unification. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.