I had tried Idris some time back, and while I liked it, I didn’t follow through with it. One major reason was the fact that Idris’ focus appeared to be purely on research despitemarketing itself as a language for programmers. There is a bit of contradiction in that statement. Of late, however, especially with the … Continue reading Basic Matrix operations in Idris
