Compiler pearl: Equality proofs and deferred type errors [pdf]research.microsoft.com5 points·thu··0 commentsOpen articleSaveView on HN