Have you encountered this "type overuse?" @edwinbrady
Have any concrete examples in Idris?https://twitter.com/deech/status/746741914452385794 …
Replying to @Gentmen
There’s something of an art to getting the “right” amount of precision in a type. Just enough to make functions total is a start.
0 replies
1 retweet
1 like
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.