3 ms·Cedille, a Language Based on Calculus of Dependent Lambda Eliminations3 points by Avi-D-coder 7y ago