Closed johnwhitington closed 7 years ago
No need to typecheck the standard library -- we can assume it is ok.
No need to typecheck the standard library -- we can assume it is ok.