@Innf107 I think something like [A, (l:p for l /= A)] -> [B, (l:p for l /= A)], but that doesn't seem quite right. An explicit example given is λx.match x with L x → L x + 1 | x → x has type [L: int,(L_i: p_i for L_i /= L)] → [L: int,(L_i: p_i for L_i /= L)]
@Innf107 Algebraic Subtyping's ninth chapter describes how unions could be added. These don't have an ordering like row types (and don't support shadowing similar to scoped labels), but are easy to add once MLsub has been implemented.
@DollarCars I rented a car recently. After waiting for 2 hours, nearly 4 hours past the reserved time, I was offered a Civic for my full-size reservation or wait indefinitely, so I took the Civic (without signing anything). Also, agent tacked on insurance that I didn't accept.
@Revonlieke@Rurikhan MV buffs and easier instablock, at least. It's not much, but it's honest poking. The tripping isn't the worst - at least you don't take damage. Them fucking triggering your instablock so you can eat the hit from the monster is the worst.
@Depraved_Vile Had you power guarded out of the knockback, would the increased chip have killed you (or would the power guard have activated fast enough)?
@DaveVen79 @Patrick_ORourke I just now tried (found this thread searching steam deck genki) - no luck. Charges, but display remains on steam deck. If I recall, a tried a few weeks ago and it just caused display flickering on deck.