makeRelative package:Agda

Makes a path relative to a root without assuming that either path is canonical.