2 ms·For dependent types? I'm really fond of Type Driven Development With Idris.by mcguire 4y agoFor dependent types? I'm really fond of Type Driven Development With Idris.