I made a cursory attempt at writing some documentation... https://github.com/idris-lang/Idris-dev/wiki/Uniqueness-Types … Hopefully someone will explain why this won’t work :).
4:56 PM - 21 Aug 2014
0 replies
5 retweets
6 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.