Conversation

@nick_r_cameron

I miss the small joy of writing □ at the end of a proof. #recoveringtheorist

4

12

Brendan Zabarauskas

Replying to

@nick_r_cameron

Need to try some Agda! agda.github.io/agda-stdlib/Re - gotta love that ∎! 😱

1:52 AM · Aug 13, 2018Twitter Web Client