Always very interesting to listen to David Corfield's insights on #philosophy from the point of view of Dependent Types #HomotopyTypeTheory

https://twitter.com/DavidCorfield8/status/1689631794604523523