As a function, or just A is of type \alpha? (Because if the latter -- usually just alpha, beta etc. if they're not taken)
-
-
-
the latter. I toyed with doing something like first-order logic with $\text{kind}(i)$ but it was noisy.
- 3 more replies
New conversation -
-
-
kappa. For no defensible reason.
-
for "kind"...
End of conversation
New conversation -
-
-
I use noun enums for fixed set of types as in https://github.com/RandomFractals/payroll/blob/master/src/payroll/Models/Relationship.cs … or <Product>Type Good question though.
-
Yea. Mine is more for terse math equations in LaTeX. In code, I use long as possible names.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.