4 ms·

Yeah there’s a serious lack of discussion of Idris in this thread. Probably the most fun, least used programming language ever.