hdoro · August 12, 2020 19:35
diff --git a/SketchSystems.spec b/SketchSystems.spec
 ## Login form

 idle*
  submit -> can submit?
 can submit?
  yes -> authenticating
  no -> invalid
 invalid
  submit -> can submit?
 authenticating
  valid user -> success
  invalid user -> failed
 ## redirects to /start
 success
 failed
  retry -> can submit?
diff --git a/SketchSystems_prototype.js b/SketchSystems_prototype.js
 function render(model){
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
 }
	function render(model){
	let current_state_name = model.active_states[0].name;
	return $("h1",
	{style: {color: "darkBlue"}},
	`The current state is: ${current_state_name}`);
	}