These are chat archives for non/algebra

28th
Jul 2015
Miles Sabin
@milessabin
Jul 28 2015 08:33
Has everyone in here seen my Cats channel messages about this: https://github.com/milessabin/derivation-hook
Feedback would be very welcome indeed.
Pascal Voitot
@mandubian
Jul 28 2015 08:34
I have seen it
I just wanted to have a clear definition of Orphan typeclass vs non-orphaned
Miles Sabin
@milessabin
Jul 28 2015 08:35
OK, I'll add a definition of orphans.
Pascal Voitot
@mandubian
Jul 28 2015 12:55
@milessabin thks, I've just had the idea to look at your project and see the addition on orphans ;)
Miles Sabin
@milessabin
Jul 28 2015 12:55
:thumbsup:
Ghost
@ghost~540393fe163965c9bc2018ce
Jul 28 2015 14:02
@milessabin ah! Cool, so basically implicits that aren't defined on the companion. i.e. the way I do it :smile:
you should totally call this library the Pirate Orphans of Penzance
Miles Sabin
@milessabin
Jul 28 2015 14:04
Are there orphans in the Pirates of Penzance?!?
Ghost
@ghost~540393fe163965c9bc2018ce
Jul 28 2015 14:04
it's a major plot theme
they're all orphans, and have a soft spot for orphans, so when they board a ship everybody says "wait! But I'm an orphan" and then they let them go. Then the Major General pretends to be an orphan and there is a hilarious mispronounciation of words.
Miles Sabin
@milessabin
Jul 28 2015 14:09
Ahh ... the Major General wants to to get rid of the orphans, right?
BTW, this is totally off topic for this channel ...
Apologies all ...
Ghost
@ghost~540393fe163965c9bc2018ce
Jul 28 2015 16:12
any algebra gathering that does not digress into discussions about the pirates of penzance, is not worth being in :-P