The List demo is about understanding a small, 200 line C program for linked list manipulation. The demo covers the basics of rigiedit, including how subsystems are identified and used to reduce the complexity of understanding programs.