Add asciinema demo to README, documentation and website

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

https://epfl-lara.github.io/stainless/

Apache License 2.0

349 stars 51 forks source link

Add asciinema demo to README, documentation and website #606

Open romac opened 5 years ago

romac commented 5 years ago

https://asciinema.org

vkuncak commented 5 years ago

I thought someone had hijacked your account. The replay also needs a dedicated player apparently?

romac commented 5 years ago

Yes, so it would just link the image to a page on the asciinema website.

I could alternatively record it my terminal window, convert the video to a GIF and then inline it directly into the README, but that might make the page much heavier if we want to preserve legibility.

vkuncak commented 5 years ago

I would prefer not to have things start moving when one looks at the README file. People today get more than enough of moving ads; having some static oasis things where nothing jumps at you without you doing something first is a feature. :)