3 ms·Functional Programming in Idris 23 points by nerdponx 3y agotluyben2 3y agoThis was a good read for me. Recommended.