| thalassocrac | no, i think it was at usc or something; some directory for some scientific research group if i recall correctly |
| ivanm | well, google revealed nothing :( |
| thalassocrac | lnc.usc.edu/~brannon/haskell/HR.ps http://www-lnc.usc.edu/~brannon/ <-- what i was thinking of |
| lambdabot | Title: Index of /~brannon |
| ivanm | seems to be a slow site... the ps is still downloading |
| thalassocrac | i don't know about the legality though |
| kaol | ?users |
| lambdabot | Maximum users seen in #haskell: 332, currently: 297 (89.5%), active: 20 (6.7%) |
| resiak | I demand that someone package zlib for Debian! |
| doserj | http://packages.debian.org/stable/source/zlib ? |
| lambdabot | Title: Debian -- zlib |
| ivanm | thalassocrac: that's the full thing, thanks! |
| action | ivanm now just has to find someone willing to print a 450 page document for him... |
| ivanm | now just has to find someone willing to print a 450 page document for him... for free, that is |
| resiak | doserj: I mean the Haskell bindings for it |
| dons | we have a zlib binding a rather good one if in doubt, always check hackage first ?where hackage |
| lambdabot | http://hackage.haskell.org/packages/archive/pkg-list.html |
| resiak | dons: No no no, I know that it exists, and is awesome; I'm just complaining that it's not in Debian Etch :-) |
| dons | ah right! we need cabal2deb oh, we have that already |
| resiak | @where cabal2deb |
| lambdabot | I know nothing about cabal2deb. |
| hpaste | ivanm pasted "Brief summation of what is Haskell, and why I used it" at http://hpaste.org/671 |
| ivanm | Can people please tell me what they think of the short haskell intro I just hpasted? its for the paper on the project I've been annoying everyone with ;) |
| cragwolf | :t tail |
| lambdabot | forall a. [a] -> [a] |
| cragwolf | cool. carry on. :) |
| araujo | morning |
| quicksilver | ivanm: I think you miss the important observation that it is possible to be much more confident that a haskell program is correct ivanm: since its encoding is close to normal mathematical formalisms |
| DynWind | ivanm: minor thing: the word you want is 'statically' typed |
| kaol | resiak: "demand" a package, huh? ok, I'll see if I'm going to be bored enough to put one together sometime this week. Turning cabalised libs to Debian packages is quite trivial. |
| resiak | kaol: My choice of words was a joke. I was kinda hoping that there was a semi-automatic way to do it, and it seems that it's trivial, as you say |