| http://www.w3.org/ns/prov#value | - I suppose the underlying issue comes down to whether you think a computer is a bunch of ones and zeros with some abstractions thrown on to make reasoning about it easier, or if you think types and functions are real and computers are flawed implementations of a subset of mathematics.
|
