Update static typing migration tutorial

Signed-off-by: Ben Sherman <bentshermann@gmail.com>

Author: bentsherman

docs/index.md

@@ -177,7 +177,6 @@ tutorials/rnaseq-nf
 tutorials/data-lineage
 tutorials/workflow-outputs
 tutorials/static-types
-tutorials/records
 tutorials/typed-operators
 tutorials/metrics
 tutorials/flux

docs/process-typed.md

@@ -9,7 +9,7 @@
 Typed processes are a preview feature. The syntax and behavior may change in future releases.
 :::
 
-Typed processes use a new syntax for inputs and outputs based on static types.
+Typed processes use a new syntax for inputs and outputs that supports static typing.
 
 ```nextflow
 nextflow.preview.types = true
@@ -38,7 +38,7 @@ To use this feature:
 
 2. Set `nextflow.preview.types = true` in every script that uses typed processes.
 
-See {ref}`syntax-process-typed` for the complete syntax reference and {ref}`migrating-static-types` to migrate existing code to static types.
+See {ref}`syntax-process-typed` for the complete syntax reference and {ref}`migrating-static-types` to migrate existing code to static typing.
 
 ## Inputs
 

docs/reference/syntax.md

@@ -196,6 +196,31 @@ In order for a script to be executable, it must either define an entry workflow
 
 Entry workflow definitions are ignored when a script is included as a module. This way, the same script can be included as a module or executed as a pipeline.
 
+### Workflow (typed)
+
+A typed workflow is a workflow that uses static typing for inputs/outputs and dataflow logic:
+
+```nextflow
+nextflow.preview.types = true
+
+workflow greet {
+    take:
+    greetings: Channel<String>
+
+    main:
+    messages = greetings.map { v -> "$v world!" }
+
+    emit:
+    messages: Channel<String>
+}
+```
+
+- Each workflow input in the `take:` section has a name and a type.
+
+- Each named workflow output in the `emit:` section may specify a type.
+
+See {ref}`workflow-typed-page` for more information on the semantics of typed workflows.
+
 (syntax-process)=
 
 ### Process
@@ -269,9 +294,11 @@ See {ref}`process-page` for more information on the semantics of each process se
 
 ### Process (typed)
 
-A typed process is a process that uses static types for inputs and/or outputs:
+A typed process is a process that uses static typing for inputs and outputs:
 
 ```nextflow
+nextflow.preview.types = true
+
 process greet {
     input: 
     greeting: String
@@ -363,6 +390,8 @@ enum Day {
 
 Enum values in the above example can be accessed as `Day.MONDAY`, `Day.TUESDAY`, and so on.
 
+(syntax-record-type)=
+
 ### Record type
 
 A record type declaration consists of a name and a body. The body consists of one or more fields, where each field has a name and a type: