Type: A Directed Typing Experimenttype.constraint.systems57 points·mr_tyzic··4 commentsOpen articleSaveView on HN