Skip to content

Generate isos up to arity 22#794

Merged
pakoito merged 1 commit intomasterfrom simon-iso-generationApr 14, 2018

Commits

Commits on Apr 14, 2018