Uniqueness Types have landed in Idris, inspired by Rust 




https://github.com/idris-lang/Idris-dev/wiki/Uniqueness-Types …
Replying to @steveklabnik
@steveklabnik Indeed! Though also owing a lot to @EdskoDeVries et al’s work on Clean’s uniqueness type system.
8:52 AM - 27 Oct 2014
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.