Conversation

when you are a bad cat

1

1

3

Brendan Zabarauskas

Replying to

and

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

4:03 AM · Feb 13, 2019Twitter for iPhone

Brendan Zabarauskas

Replying to

and

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