I now think I’ve got a fomalisation that works; I’ll put it up in a subsequent post.
Was this ever written up?
This is the most current version: https://www.youtube.com/watch?v=aiGOGkBiWEo
I now think I’ve got a fomalisation that works; I’ll put it up in a subsequent post.
Was this ever written up?
This is the most current version: https://www.youtube.com/watch?v=aiGOGkBiWEo