3 ms·Idris 2: Type-Driven Development of Idris – Curry On 2019 – Edwin Brady5 points by matt_d 7y ago