Thursday, August 10, 2017

Idris - the Type System is Too Slow

Creator of Idris, Edwin Brady said some discouraging admission about the type system of the language.

Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)