Conversation

Gus

@guhou

·

Apr 15, 2020

Might fuck around with dependent type theory, as a treat

1

5

Brendan Zabarauskas

@brendanzab

Replying to

@guhou

it's a tasty treat

9:31 AM · Apr 15, 2020·Twitter Web App

Gus

@guhou

·

Apr 15, 2020

Replying to

@brendanzab

I have been sniped by my stupid $PATH variable 😤

1

Brendan Zabarauskas

@brendanzab

·

Apr 15, 2020

dependent types would have prevented this

1