|
|
|
|
|
|
by wg0
779 days ago
|
|
|
No, you don't have to write the server stub yourself. You should generate it. See my comment below to another question [0] That's the upside that instead of generating specs from comments of methods, you actually generate the methods from the formally verified/linted and crafted spec. [0]. https://news.ycombinator.com/item?id=40208847 |
|
|