Principles of dependent type theory [pdf]danielgratzer.com3 points·fanf2··0 commentsOpen articleSaveView on HN