|sorear||sjanssen: not true!|
@djinn (a -> a -> b) -> (c -> a) -> c -> c -> b
|lambdabot||f a b c _ = a (b c) (b c)|
|dons||hmm. i wonder what reddit's 'initial position for new submissoins' algo is.|
i just submitted a .ps.gz and it is inserted at position 9.
which seems unusually high.
|dolio||The real question is: what do spiders living in a kid's ear have to do with programming.|
|action||dons stricks to the programming subreddit|
|dons||stricks to the programming subreddit|
though I wish I could kick articles that are dual-submitted to the frontpage
Cale: we're winning when .ps.gz makes the front page ;-)
|littledan||dons, are there any useful programming languages (or haskell libraries) that implement the bird-meertens formalism?|
let me find the url
|lambdabot||help <command>. Ask for help for <command>. Try 'list' for all commands|
sometimes sorear reminds me of Nelson Muntz
|littledan||that looks interesting|
|dons||has some references too|
|ddarius||"Alcino" totally maken be think "alnico"|
Yay, thunderstorm. I could use something going my way.
|dons||he's a nice guy, met him at popl|
|littledan||@pl \x -> x+1|
|ozzilee||Hi all, quick question: Any way to make backspace work for getLine? Specifically in GHCi on OS X.|
does 'delete' work?
|ozzilee||Well.. the key is labeled 'delete', but it's backspace. I can't try forward delete, as the arrow keys don't work either.|
|dons||dcoutts_: hmm, strikes me our approach to (hard core) optimisation with QuickCheck is a form of mechanised/supported 'transformational approach to program construction'|
i.e. program construction and optimisation, from naive to (heavily) optimised, but with mechanical support.
|ozzilee||backspace gives me "^?". It sort of works, characters are actually deleted when I read the input, but it doesn't work interactively.|
|dons||that is, we use QuickCheck to check equations beyond those that could be done by hand|