Idris 0.9.15 released – partial evaluation and uniqueness types

Re:Idris 0.9.15 released – partial evaluation and uniqueness... by igouy on Monday October 27, 2014 @02:21PM (#8517169)

>>Uniqueness types[1], which are inspired by ownership types and borrowed pointers in the Rust language<<

"They are inspired by linear types, Uniqueness Types in the Clean programming language, and ownership types and borrowed pointers in the Rust programming language."