Fix Haskell extensions links (#375)

Author: kl0tl

language/Differences-from-Haskell.md

@@ -274,39 +274,39 @@ In PureScript, operator sections look a little bit different.
 
 The PureScript compiler does not support GHC-like language extensions. However, there are some "built-in" language features that are equivalent (or at least similar) to a number of GHC extensions. These currently are:
 
-* [ApplicativeDo](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-ApplicativeDo)
-* [BlockArguments](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-BlockArguments)
-* [DataKinds](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-DataKinds) (see note below)
-* [DeriveFunctor](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-DeriveFunctor)
-* [DeriveGeneric](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-DeriveGeneric)
-* [EmptyDataDecls](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-EmptyDataDecls)
-* [ExplicitForAll](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-ExplicitForAll)
-* [FlexibleContexts](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-FlexibleContexts)
-* [FlexibleInstances](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-FlexibleInstances)
-* [FunctionalDependencies](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-FunctionalDependencies)
-* [GeneralisedNewtypeDeriving](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-GeneralisedNewtypeDeriving)
-* [InstanceSigs](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-InstanceSigs)
-* [KindSignatures](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-KindSignatures)
-* [LambdaCase](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-LambdaCase)
-* [LiberalTypeSynonyms](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-LiberalTypeSynonyms)
-* [MonoLocalBinds](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-MonoLocalBinds)
-* [MultiParamTypeClasses](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-MultiParamTypeClasses)
-* [NamedFieldPuns](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-NamedFieldPuns)
-* [NoImplicitPrelude](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-NoImplicitPrelude)
-* [NumericUnderscores](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-NumericUnderscores)
-* [PartialTypeSignatures](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-PartialTypeSignatures)
-* [PolyKinds](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-PolyKinds)
-* [RankNTypes](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-RankNTypes)
-* [RebindableSyntax](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-RebindableSyntax)
-* [RoleAnnotations](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-RoleAnnotations)
-* [ScopedTypeVariables](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-ScopedTypeVariables)
-* [StandaloneDeriving](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-StandaloneDeriving)
-* [StandaloneKindSignatures](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-StandaloneKindSignatures)
-* [TypeOperators](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-TypeOperators)
-* [TypeSynonymInstances](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-TypeSynonymInstances)
-* [UndecidableInstances](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-UndecidableInstances)
-* [UndecidableSuperClasses](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-UndecidableSuperClasses)
-* [UnicodeSyntax](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-UnicodeSyntax)
+* [ApplicativeDo](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/applicative_do.html#extension-ApplicativeDo)
+* [BlockArguments](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/block_arguments.html#extension-BlockArguments)
+* [DataKinds](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/data_kinds.html#extension-DataKinds) (see note below)
+* [DeriveFunctor](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/deriving_extra.html#extension-DeriveFunctor)
+* [DeriveGeneric](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/generics.html#extension-DeriveGeneric)
+* [EmptyDataDecls](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/nullary_types.html#extension-EmptyDataDecls)
+* [ExplicitForAll](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/explicit_forall.html#extension-ExplicitForAll)
+* [FlexibleContexts](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/flexible_contexts.html#extension-FlexibleContexts)
+* [FlexibleInstances](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/instances.html#extension-FlexibleInstances)
+* [FunctionalDependencies](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/functional_dependencies.html#extension-FunctionalDependencies)
+* [GeneralisedNewtypeDeriving](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/newtype_deriving.html#extension-GeneralisedNewtypeDeriving)
+* [InstanceSigs](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/instances.html#extension-InstanceSigs)
+* [KindSignatures](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/kind_signatures.html#extension-KindSignatures)
+* [LambdaCase](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/lambda_case.html#extension-LambdaCase)
+* [LiberalTypeSynonyms](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/liberal_type_synonyms.html#extension-LiberalTypeSynonyms)
+* [MonoLocalBinds](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/let_generalisation.html#extension-MonoLocalBinds)
+* [MultiParamTypeClasses](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/multi_param_type_classes.html#extension-MultiParamTypeClasses)
+* [NamedFieldPuns](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/record_puns.html#extension-NamedFieldPuns)
+* [NoImplicitPrelude](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/rebindable_syntax.html#extension-NoImplicitPrelude)
+* [NumericUnderscores](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/numeric_underscores.html#extension-NumericUnderscores)
+* [PartialTypeSignatures](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/partial_type_signatures.html#extension-PartialTypeSignatures)
+* [PolyKinds](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/poly_kinds.html#extension-PolyKinds)
+* [RankNTypes](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/rank_polymorphism.html#extension-RankNTypes)
+* [RebindableSyntax](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/rebindable_syntax.html#extension-RebindableSyntax)
+* [RoleAnnotations](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/roles.html#extension-RoleAnnotations)
+* [ScopedTypeVariables](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/scoped_type_variables.html#extension-ScopedTypeVariables)
+* [StandaloneDeriving](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/standalone_deriving.html#extension-StandaloneDeriving)
+* [StandaloneKindSignatures](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/standalone_kind_signatures.html#extension-StandaloneKindSignatures)
+* [TypeOperators](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/type_operators.html#extension-TypeOperators)
+* [TypeSynonymInstances](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/instances.html#extension-TypeSynonymInstances)
+* [UndecidableInstances](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/instances.html#extension-UndecidableInstances)
+* [UndecidableSuperClasses](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/undecidable_super_classes.html#extension-UndecidableSuperClasses)
+* [UnicodeSyntax](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/unicode_syntax.html#extension-UnicodeSyntax)
 
 Note on `DataKinds`: Unlike in Haskell, user-defined kinds are open, and they are not promoted, which means that their constructors can only be used in types, and not in values. For more information about the kind system, see https://github.com/purescript/documentation/blob/master/language/Types.md#kind-system