Post from wezm on 24 Nov 2022

This is a static archive of wezm@decentralised.social

https://mastodon.decentralised.social/@wezm is now my primary account

☜ Back to home page
wezm
Encountering a lot of Greek in my work reading about type theory. This is a good one page presentation of the Greek alphabet for reference. https://public.csusm.edu/aitken_html/mathhistory/GreekAlphabet.pdf