Cedille, a Language Based on Calculus of Dependent Lambda Eliminationsgithub.com3 points·Avi-D-coder··0 commentsOpen articleSaveView on HN