Today's random #categorytheory / #typetheory fact:
The "if... else" function is the "fold" of the Boolean type.
@abuseofnotation.mathstodon.xyz.ap.brid.gy
@abuseofnotation.mathstodon.xyz.ap.brid.gyToday's random #categorytheory / #typetheory fact:
The "if... else" function is the "fold" of the Boolean type.
@ranaldclouston.fediscience.org.ap.brid.gyI've been on Mastodon for a year, so it's time for a new pinned #introduction post with an updated dog pic! I'm a lecturer in #computerScience at Australian National University #ANU in #Canberra , #Ngunnawal / #Ngambri country. I research #typeTheory , #logic […]
@ranaldclouston.fediscience.org.ap.brid.gyI've been on Mastodon for a year, so it's time for a new pinned #introduction post with an updated dog pic! I'm a lecturer in #computerScience at Australian National University #ANU in #Canberra , #Ngunnawal / #Ngambri country. I research #typeTheory , #logic […]