@jonsterling @puffnfresh @edwinbrady I’ll let Edwin opine on this.
-
-
Replying to @cartazio
@cartazio@jonsterling@puffnfresh I'll opine once the initial ":(" has been elaborated...2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@cartazio@jonsterling I'm just grumpy about implicitness. Problems with typing, abstraction and coherency. Give me verbosity :(2 replies 0 retweets 0 likes
Replying to @puffnfresh
@puffnfresh @cartazio @jonsterling Precise types mean the elaborator writes things so you don't have to. Idris requires uniqueness.
1:20 AM - 5 Nov 2013
0 replies
0 retweets
0 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.