Brendan Zabarauskas on Twitter: "@OwoTizusa @jonmsterling Thanks!" / 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

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

1

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

Replying to

and

Thanks!

Conversation