Possible unused require
pierwill opened this issue Β· comments
pierwill commented
This code might be unused: https://github.com/nikomatsakis/a-mir-formality/blob/4a47eb8d97a374a953d50a94acab55d4c98ac552/racket-src/logic/test/cosld-solve-ambiguity.rkt#L3
That's what racket-mode is telling me, at least. π