Conversation

Brendan Zabarauskas

@brendanzab

Me as I attempt to do something weird to a dependent type system implementation:

GIF

5:50 AM · Oct 16, 2019·Twitter Web App

11

Likes