Conversation

when you are a bad cat

1

1

3

Brendan Zabarauskas

This is me hacking together dependent type systems like yolo muahahahaaa.

1

1

Brendan Zabarauskas

Replying to

and

all fun and games til it ends in a misbound debruijn index

4:22 AM · Feb 13, 2019Twitter Web Client