These are chat archives for non/algebra

7th
Jan 2016
Miles Sabin
@milessabin
Jan 07 2016 13:40
FYI: new cats-kernel PR here: non/cats#786.
P. Oscar Boykin
@johnynek
Jan 07 2016 17:53
@milessabin thanks for preparing that. Made some minor comments.
Miles Sabin
@milessabin
Jan 07 2016 18:13
@johnynek :-)