It seems that Gabriel has started exposing similar module structures, but he has a different naming convention. Unless we have some reason to push back and suggest he use ours (or some other), we should rename our Module files to match his convention (which is package.dhall).
It seems that Gabriel has started exposing similar module structures, but he has a different naming convention. Unless we have some reason to push back and suggest he use ours (or some other), we should rename our
Modulefiles to match his convention (which ispackage.dhall).