adam1554 adam1554 27-12-2023 Biology contestada How do we know if the procedure in WLP4 is well-typed?