@armchair_progamerM to Programming Languages • 11 months agoEquality, Dependent Types, and Typecheckingkalyani-tt.github.iomessage-square0arrow-up16arrow-down10
arrow-up16arrow-down1external-linkEquality, Dependent Types, and Typecheckingkalyani-tt.github.io@armchair_progamerM to Programming Languages • 11 months agomessage-square0