Zulip Chat Archive
Stream: general
Topic: codetour
Johan Commelin (Oct 19 2021 at 18:32):
I just discovered the VScode extension CodeTour https://marketplace.visualstudio.com/items?itemName=vsls-contrib.codetour
I haven't played with it yet, but this might be a useful way to setup some tutorials in the future.
Last updated: Dec 20 2023 at 11:08 UTC