Is it proven that Fluture Future is lawful?
kindaro opened this issue · comments
I am sorry if it is written on the box, but I am not seeing. The readme is lengthy, but it discusses usage, and I could not find anything about laws or proofs thereof.
I do not ask for iron cast proofs, but maybe some outline.
The README points to the Fantasy Land specification, where the laws are recorded.
Fantasy Land provides a set of property tests named Fantasy Laws, allowing authors to include these in their test suits. The best place to look for proof is probably Fluture's property tests, where Fantasy Laws is included.
@Avaq Thank you. Would it be correct to say that, while extensive checking of laws is performed, no attempt is made to provide written proof, say via equational reasoning?
I'm not sure exactly what you're looking for when you say "written proof", so probably you're right in your assumption. What would you like to see proven?
I'm closing this issue, as I don't see how I can act on it further. Feel free to reopen it if you have other questions.