Conversation

New cursed and adorable ways for me to represent sequences of terms

Quote Tweet

· Apr 26, 2021

Oh hey, it’s @mscroggs’ extension of the \hat macro

Show this thread

3

9

52

Brendan Zabarauskas

Replying to

this would be so helpful for advancing the state of the art in Church's Hat Calculus - that work has languished for too long

2:53 AM · Apr 27, 2021Twitter Web App