Conflicted on implicit arguments for quantification - is there a good alternative? Practical to just not have them? #Idris #Agda @copumpkin
-
-
-
Replying to @milessabin
@milessabin@copumpkin generally dislike implicit params. Explicit types but not values. Why not explicit always? Quantification, though…3 replies 0 retweets 0 likes
Replying to @puffnfresh
@puffnfresh You would get very bored writing out all the things you had to be explicit about... @milessabin @copumpkin
4:36 PM - 6 Oct 2013
0 replies
0 retweets
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.