Section 5.16 Expedited Samples
We hack in various interactive Runestone exercise types while PreTeXt markup evolves to cover more of Runestone's repertoire. In static output these will just produce a message. In HTML they may be interactive simply in a browser, or they may require being hosted on a Runestone server in order to perform.
CodeLens for a Python program:
CodeLens for a Java program. Supplied in source with trace data built beforehand on a Runestone server: