Brendan Zabarauskas on Twitter: "@OwoTizusa @jonmsterling Ahh no, where is it? Is that the third rule, or somewhere else?" / Twitter

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

how do you get a `p : Prop`? is it possible to make them? or are they kind of just assumed?

1

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Replying to

and

Ahh no, where is it? Is that the third rule, or somewhere else?

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Show replies

Conversation