Skip to content

Update readme: mark Exhaustivity checks & multiv.eq. as implemented#1483

Merged
felixmulder merged 1 commit intomasterfrom
DarkDimius-patch-7
Aug 29, 2016

Commits

Commits on Aug 29, 2016