Conversation

Might fuck around with dependent type theory, as a treat

1

5

Brendan Zabarauskas

it's a tasty treat

1

I have been sniped by my stupid $PATH variable 😤

1

Brendan Zabarauskas

Replying to

dependent types would have prevented this

10:42 AM · Apr 15, 2020Twitter Web App