u"Unicode "
r"raw string"
f"f-{string}"
>From https://docs.python.org/3/howto/unicode.html :
>>> "\N{GREEK CAPITAL LETTER DELTA}" # Using the character name
'\u0394'
>>> "\u0394" # Using a 16-bit hex value
'\u0394'
>>> "\U0394" # Using a 32-bit
On Tuesday, January 29, 2019, kirby urner wrote:
>
> Thanks Wes, especially for the URLs relating type theory to "HoTT" by way
> category theory.
>
> My friend and co-podcaster Alex, a math-physics-philo guy, has been
> pushing me to bone up in that area [1]. Those links really helped.
>
Thanks Wes, especially for the URLs relating type theory to "HoTT" by way
category theory.
My friend and co-podcaster Alex, a math-physics-philo guy, has been pushing
me to bone up in that area [1]. Those links really helped.
I'm squeezing some of this in while reading the OSCON 2019 proposals,