|
|
|
|
|
|
by Rusky
1921 days ago
|
|
|
They're conditionally meaningful: if a small amount of your program is correct, the entire program satisfies some useful properties. This may or may not be something you care about, but it is certainly a meaningful tool that is quite useful to me, including when I use your type (3) style described in the sibling thread. |
|
|