2 ms·
Of course not. In my understanding, the article was about static type checking, though.
by Ace17 11y ago
Of course not. In my understanding, the article was about static type checking, though.
- dllthomas 11y agoIt is! That's what is so cool about it! Idris lets you write an append that will work for any X and Y chosen at runtime, but will check that the result must have length X + Y at compile time.