2 ms·
> 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 ver
by throwthrow0987 1y 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.