By way of my congratulations, and before I actually file a donation (it’ll probably be a normal $180), let me just say that this year was only astounding to someone who doesn’t know you guys and can’t see your abilities.
Thanks :-)
30x “chai” ($540) given so we can hit the type-theory goal.
And that’s not counting my textbook budget, which is waaaaay more swollen than that.
Nice! Thanks—that will be a fun goal to hit.
Donation amount will be raised on grounds of type theory. TYPE TYPITY TYPE TYPE TYPE.
I don’t think it’ll go into the thousands, because frankly that’s more like “GiveDirectly” money than hobby-horse organization money, but hey.
By way of my congratulations, and before I actually file a donation (it’ll probably be a normal $180), let me just say that this year was only astounding to someone who doesn’t know you guys and can’t see your abilities.
Thanks :-)
30x “chai” ($540) given so we can hit the type-theory goal.
And that’s not counting my textbook budget, which is waaaaay more swollen than that.
Nice! Thanks—that will be a fun goal to hit.
Donation amount will be raised on grounds of type theory. TYPE TYPITY TYPE TYPE TYPE.
I don’t think it’ll go into the thousands, because frankly that’s more like “GiveDirectly” money than hobby-horse organization money, but hey.