Skip to content

More normalisation of types

Ian Jackson requested to merge type-norm into main

Fixes #74 (closed), #77 (closed).

It's convenient to do this before $Xmeta as path.

Merge request reports