This was a really neat discussion to watch. Devotional vs Observational semantics. When I'm in my algorithms class and we have a code snippet to find a minimum

This was a really neat discussion to watch. Devotional vs Observational semantics. When I'm in my algorithms class and we have a code snippet to find a minimum spanning tree, we don't even have some machine to compile it down to, but because we have denoted some meaning to bit of the program, we can even prove that the meaning of the entire program is to output the MST.