stainless icon indicating copy to clipboard operation
stainless copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Add documentation for codespaces use and link to a sample repo

Open samuelchassot opened this issue 1 year ago • 2 comments

samuelchassot avatar Sep 25 '23 09:09 samuelchassot

@samuelchassot maybe we should write slightly more general remark on using vscode as a default IDE for Stainless? Because we are not using Scala 3 and that only really seems to work in vscode. Decoupling ssh functionality from codespaces functionality seems more to the point of what workflow we recommend.

vkuncak avatar Oct 12 '23 12:10 vkuncak

@samuelchassot maybe we should write slightly more general remark on using vscode as a default IDE for Stainless? Because we are not using Scala 3 and that only really seems to work in vscode. Decoupling ssh functionality from codespaces functionality seems more to the point of what workflow we recommend.

@vkuncak I agree on the VSCode as default IDE, that sounds good! Concerning the SSH, it would indeed be good to mention. I don't think it would apply to as many people, as it requires to own and setup a server.

samuelchassot avatar Oct 13 '23 06:10 samuelchassot

Can you remove scala 2 references in the example repo https://github.com/samuelchassot/Stainless-codespaces Then we can link the documentation change.

Done! I also applied the suggested change above

samuelchassot avatar May 13 '24 07:05 samuelchassot