chore: more broken links

docs/docs/migration_notes.md

@@ -16,7 +16,7 @@ To update, please make sure this field in `Nargo.toml` matches the output of `na
 
 ## ≥0.14
 
-The index of the [for loops](noir/syntax/control_flow.md#loops) is now of type `u64` instead of `Field`. An example refactor would be:
+The index of the [for loops](noir/concepts/control_flow.md#loops) is now of type `u64` instead of `Field`. An example refactor would be:
 
 ```rust
 for i in 0..10 {

docs/docs/noir/concepts/data_types/function_types.md

@@ -23,4 +23,4 @@ fn main() {
 ```
 
 A function type also has an optional capture environment - this is necessary to support closures.
-See [Lambdas](@site/docs/noir/syntax/lambdas.md) for more details.
+See [Lambdas](@site/docs/noir/concepts/lambdas.md) for more details.

docs/docs/noir/concepts/data_types/index.md

@@ -79,7 +79,7 @@ fn main() {
 }
 ```
 
-Type aliases can also be used with [generics](@site/docs/noir/syntax/generics.md):
+Type aliases can also be used with [generics](@site/docs/noir/concepts/generics.md):
 
 ```rust
 type Id<Size> = Size;