I like when code is claimed to be unreadable when in fact, it's more readable by @parametricity
http://nattermorphisms.blogspot.com.au/2015/02/ftp-dangers.html …
(bullshit alert)
-
@shebang@bitemyapp@dibblego Is there more/stronger free theorems with `Functor f => (a->b) -> f a -> f b` than with `(a->b) -> [a]->[b]` ?
-
-
@dibblego@jb9i@shebang http://www4.in.tum.de/~boehmes/diplomathesis.pdf … this paper seems nifty.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@shebang@bitemyapp thanks! I suspected that but was not sure!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.