|
|
|
|
|
|
by ajb
4256 days ago
|
|
|
Given the goal of implementing proof systems, whose semantics you obviously need to be really clear, I don't think that specification was premature. But you're right that it has inhibited the use of the language in a more general setting. |
|
|