"Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research"http://www.infoq.com/interviews/weirich-haskell-dependent-types …
Replying to @HaskellForMac
@HaskellForMac @amar47shah thanks, this addressed my level of ignorance about dependent types
10:03 PM - 20 Feb 2016
from Seattle, WA
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.