These are chat archives for non/algebra

30th
Aug 2016
Erik Osheim
@non
Aug 30 2016 15:39
i think oscar is on vacation, but in case anyone is interested i think this might be the final PR before we're ready to release (and MiMA) algebra: non/algebra#161