2 ms·

Idris 2 is a big step towards a production grade FP language