Sciweavers

Do we need dependent types?
Recent Google, Yahoo, MSN search queries leading to this post
Do we need dependent types?
Data is not available yet.