I heard a suggestion that type erasure was a problem in dependently typed languages, so I tried it: http://www.reddit.com/r/haskell/comments/2flour/dependent_haskell/ckansey …
3:00 AM - 6 Sep 2014
0 replies
8 retweets
13 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.