Jakob on Nostr: nprofile1q…9xuzd I'm well out of my comfort zone here. Would the math analogon to ...
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysj9xuzd (nprofile…xuzd) I'm well out of my comfort zone here. Would the math analogon to the programming language notion be axiomatic existence of W-types?