|
|
|
|
|
|
by recursive
4 days ago
|
|
|
For non trivial uses it wouldn't be a great spec. But I think we can bring our worlds together with a bit of boilerplate. > The system shall have behavior identical to that expressed by the system created by the following source code. [add some stuff about environment to taste] |
|
|