Vincent Laporte
Results
191
comments of
Vincent Laporte
This program *is* well-typed: if you prevent pre-typing from messing up (e.g., using `set_warn_recoverable true`) you’ll be able to notice that 1. this program is accepted by the type-checker; and...