These are chat archives for libmir/public

Jan 2018
Sebastian Wilzbach
Jan 31 22:42
I have two good news:
1) libmir/mir-algorithm#122 - examples on the mir docs will be runnable soon (see
2) - the tour will be finally moving to integrate mir (thought writing a good one-page summary might turn out to be challenging)