Notes for a class on Minecraft redstone