Dependently Sorted Syntax and its Semantics – Carlo Angiuli [video]youtube.com1 point·matt_d··0 commentsOpen articleSaveView on HN