Vyxal

9:59 AM

Huh, I forgot ! exists as stack arity in lambdas for v3

3 hours later…

12:43 PM

oh huh

bot dead

@Ginger !!!!!!! (!!!!!) (!!!!!!) (!!!!!) (!!!!!!)

oh no

Well, here we are again.

ok fixed it

!!/status

@Ginger I am looking in the kitchen. SKINAH why is there smoke in the kitchen? Stop lying skinuherhh.

cool

12:44 PM

can't believe I had to manually label a PR

#PR 1681 - Add group indices element

Lyxal created branch v2-default-values-for-some-things in Vyxal/Vyxal

Lyxal opened pull request #1682 (Make default value of n equal to ka) in Vyxal/Vyxal

1:13 PM

Lyxal created branch v2-list-from-diagonals in Vyxal/Vyxal

Lyxal opened pull request #1683 (Implement matrix from (anti)diagonals) in Vyxal/Vyxal

Lyxal closed issue #1537 (Implicit match from the start.) in Vyxal/Vyxal

Transcript for