This repository was archived by the owner on Nov 30, 2022. It is now read-only.
Getting WartRemover back #98
Description
It might be useful to adapt the old Wart’s code to the new WartRemover release. I’ve just lost ~15 minutes because the compiler did not catch discarding Ui in a Ui… 😃