Post #2994403

@rntz@recurse.social Yes, this presentation is very accessible! As a friend of relevant logic/types, it’s really nice to see these considerations emerge naturally in this context.