example of XOR with Agda code and block diag while describing high-level circs