3 ms·
By focusing entirely on the type system rather than building a programming language usable for actually building applications. Idris is a wonderful research lan
by plorkyeran 6y ago
By focusing entirely on the type system rather than building a programming language usable for actually building applications. Idris is a wonderful research language, but is awful as a language to write production software in.