That's rad. Minecraft is such a great gateway for getting kids into programming, it's awesome to see educators taking advantage of that. Does your friend have their curriculum available anywhere? I'd love to take a look at how they ran it.