Definitely. If done in the same general style as your lambda calculus one I think it would be a great resource.