Sequrity Alert : Version Control systems

The major version control systems are affected by the same problem :

1. mercurial
2. git

Idris - the Type System is Too Slow

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