I'm just this guy, y'know? I like type theory, logic, and mathematical philosophy. William has three brothers named Michael, John, and Timothy.
| en | This user is a native speaker of the English language. |
| λ | This user is fluent in Lambda calculus. |
| Erdős 4 | This user has an Erdős number of 4. |