Update user-settings.md with a pointer to `Packages`

Authored by sgraf on Feb 1 2019, 3:48 AM.

Description

Update user-settings.md with a pointer to Packages

[skip ci]

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Feb 2 2019, 1:02 PM
Parents
rGHCf0cd728fde9b: Reject oversaturated VKAs in type family equations
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC6dae133fc049: Update user-settings.md with a pointer to `Packages` (authored by sgraf).Feb 2 2019, 1:02 PM