| Pseudonym | Ah, crap. |
| sorear | dmead: augustss is something of a legend |
| Pseudonym | ?djinn-del Arr ?djinn-del arrAssocL ?djinn-del arrAssocR ?djinn-del arrId ?djinn-del arrCompose |
| fantasma | mdmkolbe, thanks |
| mdmkolbe | fantasma: more ironic might be some of the abbriviations that we use online (e.g. RTFM, BRB, etc.) |
| Pseudonym | ?djinn-add data Arr a b ?djinn-add arrId :: a -> Arr a a ?djinn-add arrCompose :: Arr a b -> Arr b c -> Arr a c |
| dmead | hmm he doesn't use parsec or anything to look at text |
| sorear | sure he does ReadP counts as something |
| dmead | where? |
| Pseudonym | ?djinn Arr a b -> Arr b c -> Arr c d -> Arr a d |
| lambdabot | f = void |
| Pseudonym | Oh, that's interesting. |
| sorear | Pseudonym: Arr a b is falsity, since it has no constructors Pseudonym: therefore Arr b c -> Arr c d -> Arr a d follows easily |
| mdmkolbe | fantasma: clesheyed (sp??), but the seven dwarvs are obvious. Maybe add a twist. "Crasher", "Trasher", etc. |
| Pseudonym | sorear: I'd like it to be abstract. Defined only in terms of the known functions which operate on it. |
| sorear | @spell cliched |
| lambdabot | cliched |
| sorear | cliche`d, really er cliche'd |
| mdmkolbe | thx |
| Pseudonym | Gotta go. Lunch. BBS |
| sorear | where e' is compose notation |
| action | mdmkolbe hates post voul shift spelling |
| mdmkolbe | hates post voul shift spelling @spell voul |
| lambdabot | Vol vol Poul foul soul |
| sorear | vowel |
| dmead | hmmmmmmmmmmmmmmm @seen augustss |
| lambdabot | augustss is in #haskell. I last heard augustss speak 1d 2h 20m 26s ago. |
| mdmkolbe | @seen mdmkolbe |