Checking Dependent Types with Normalization by Evaluation: A Tutorialdavidchristiansen.dk2 points·holonomically··0 commentsOpen articleSaveView on HN