Peasy Demo Video

Peasy Demo

Credits!

Summer of 2023, the P team @ AWS had two rockstar interns Esther Sue and Hao Wen, they both created the first version of Peasy 1.0.0 and the cool demo below. The demo video provides a detailed overview of the Peasy extension. It will step by step walk you through all the features in Peasy from compilation, testing, to state visualization and using trace visualization to debug complex error traces in P. Enjoy!