Excellent - it seems very well suited for that. I'd have been happy to have this when I was teaching this kind of theory to young programmers. Like I said, I w

Excellent - it seems very well suited for that. I'd have been happy to have this when I was teaching this kind of theory to young programmers. Like I said, I would make this very obvious on the front page. Maybe even have some ideas on how to teach using this tool (classroom material, etc.)