|
|
|
|
|
|
by throwthrow0987
242 days ago
|
|
|
> is quite convenient It's not principally about convenience though is it? It's about defining the semantics of your program through the DSL. Then you can verify the program logic, prove properties about it if you wish. It is denotative. |
|
|