im having a terrible night
Conversation
might fuck around and quit type theory who knows
1
4
and twitter
3
5
:(
If you need to talk let me know. I think you are a great type theorist
2
3
like by what measure am i a type theorist? i have not done anything to advance the field of type theory nor do i have the capability to
5
2
Your wayyyyyy more than a type theorist than me! I wish I could get my head around half of the stuff you are pondering! 😳
1
4
(fwiw I don't consider myself a type theorist - just attempting to keep up with the stuff folks like you and others are doing… and trying to implement the surface level stuff)
1
4
(not that it's a race – more that I am impatient to figure out how it works and how I can implement it haha)
Who can reply?
People @plt_amy follows or mentioned can reply