Idris is a truly delightful languge. It’s very comfortable coming from ML style languages; though i wish the stdlib was a little more complete…