Babel includes JSX processing.
Any URL's added here will be added as
If active, Pens will autosave every 30 seconds after being saved once.
If enabled, the preview panel updates automatically as you code. If disabled, use the "Run" button to update.
If enabled, your code will be formatted when you actively save your Pen. Note: your code becomes un-folded during formatting.
Visit your global Editor Settings.
<head> <link href="https://www.hillelwayne.com/assets/css/main.77da63e1.css" rel="stylesheet"> </head> <body> <div class="fulltext"> <p>I’d recommend clicking the source link up there, as the diagram is interactive. You can click on the transitions and see how states change. That’s a big benefit of HSCs: not only are they formal and concise, they’re also kinetic. You can explore them.</p> </p>In exploring, I found a bug with my state machine: You can transition directly from Answers to Standards. We can fix that by making Answers a direct child of Login instead of a child of Reports:</p> <iframe width="100%" height="400" frameborder="no" src="https://sketch.systems/hwayne/sketch/a8667ea6b20ab5768afa5d49dce3cecc"></iframe> <p>Ideally, we’d like to make these problems more obvious, which means using some form of automated verification.</p> <h2>Verification</h2> </div> </body>
.fulltext margin: 0 auto width: 600px
Also see: Tab Triggers