6 ms·That was the first thing you searched for too? I just come here to eat popcorn and learn about type theory.by zbentley 9y agoThat was the first thing you searched for too? I just come here to eat popcorn and learn about type theory.