quick live-coding example for ADA lecture