4 ms·Agda is a really interesting language. A great way to learn the power of Dependent Types.by mbrodersen 4y agoAgda is a really interesting language. A great way to learn the power of Dependent Types.