4 ms·
I highly recommend learning Idris if you want to understand the power of Dependent Types. The book “Type Driven Development” is an excellent guide.
by mbrodersen 4y ago
I highly recommend learning Idris if you want to understand the power of Dependent Types. The book “Type Driven Development” is an excellent guide.