2 ms·
You could write a specification you can generate an implementation from. See https://kframework.org https://kframework.org for example.
by qznc 4y ago
You could write a specification you can generate an implementation from. See https://kframework.org https://kframework.org for example.