A tutorial implementation of a dependently typed lambda calculus [pdf]andres-loeh.de2 points·xfer··0 commentsOpen articleSaveView on HN