Brendan Zabarauskas@brendanzab·Nov 6, 2017Agda's stdlib is good example of this problem. Beautiful, but takes days to load up into your head after time away. http://agda.github.io/agda-stdlib/Quote Tweetdeech@deech · Nov 5, 2017We direly need of ways to un-DRY for reading purposes, a hard UI problem. I still want the highest levels of abstraction when designing. https://twitter.com/jonathoda/status/927216621076336642…Show this thread21
Brendan Zabarauskas@brendanzabAnother example: Lens https://hackage.haskell.org/package/lens4:29 AM · Nov 6, 2017·Twitter Web Client
