4 ms·Programming Language Foundations in Agda17 points by nequo 4y agombrodersen 4y agoAgda is a really interesting language. A great way to learn the power of Dependent Types.