Fix: Standardize Go module import paths#16

m0n0x41d merged 1 commit intom0n0x41d:devm0n0x41d/quint-code:devfrom

blib:devblib/quint-code:devCopy head branch name to clipboard