[ fix ] Remove un-sound mutable sized variants#65

Matthew-Mosior merged 1 commit into

idris-community:mainidris-community/idris2-containers:mainfrom

Matthew-Mosior:remove-mutable-sized-variantsMatthew-Mosior/idris2-containers:remove-mutable-sized-variantsCopy head branch name to clipboard