Stainless now outputs Java/Kotlin code snippets, which will be read by API reference documentation providers and displayed in your documentation.
Here is an example (binary response handling) of the code snippets:
Stainless now outputs Java/Kotlin code snippets, which will be read by API reference documentation providers and displayed in your documentation.
Here is an example (binary response handling) of the code snippets: