Basic building blocks of dependent type theory (2022)lesswrong.com1 point·jstrieb··0 commentsOpen articleSaveView on HN