4 ms·

Idris is a really interesting language. One of the few languages that are really pushing the leading edge while trying to also be pragmatic.