NSF/TCPP Curriculum Planning Workshop Andrew Lumsdaine Indiana University Mechanism and Processes (How?) Andrew Lumsdaine Indiana University It wonât happen all at once…