This seems fairly similar to some of SingInst’s arguments. Is Suber familiar with SI, or did he come up with this independently?
Independently, as far as I know.
This seems fairly similar to some of SingInst’s arguments. Is Suber familiar with SI, or did he come up with this independently?
Independently, as far as I know.