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
You're giving the talk, so I CLEARLY don't know what I'm doing yet. I was trying to get into the "free" typing mode, not really coding anything. While trying to do a list, I got to the second item and hit right (I think?) and everything froze as such:
on it. after-the-fact editing of variadic forms (interacting with +-shaped holes) isn't really implemented. (a (quasi) mode for inserting/deleting/permuting variadic forms element is on the roadmap). I'll plug the hole for the moment but wow looking at quality of the error messages this is generating from an external perspective is making me cringe. i take back 30% of the stuff i said about turnstile's error messages.
p.s. consider installing the recommended font. for some reason the fallthrough font isn't fixed-width, even though this is the supposed behavior of text/font with family set to modern. this is mostly a reminder to myself to look into it.
You're giving the talk, so I CLEARLY don't know what I'm doing yet. I was trying to get into the "free" typing mode, not really coding anything. While trying to do a list, I got to the second item and hit right (I think?) and everything froze as such:
This was what was in the terminal:
The text was updated successfully, but these errors were encountered: