Notes For Programming Concepts Note: in the pseudo-code blocks, I use Lua syntax highlighting. In Lua, -- means a comment. Another Note: I also use double quotes for input/output/assumptions/assertions for highlighting. These are not necessary!