4 ms·
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…
by Jenz 5y ago
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…