代写 Agda logic
Assignment 2 Write Agda functions that convert between Prod Boolean Boolean and Sum Boolean Boolean. [2.5 pts] Supposed that we have conversion functions f : A1 -> A2 and f’ : A2 -> A1 and, respectively, g : B1 -> B2 and g’ : B2 -> B1. Construct conversion functions between Sum A1 B1 and […]